W. Lim., J. Harrison, P. Bailes, A. Berglas, "Design Recovery through Formal Specification," Australian Software Engineering Conference, pp. 22, Australian Software Engineering Conference, 1998.

@article{ 10.1109/ASWEC.1998.730910,
author = {W. Lim. and J. Harrison and P. Bailes and A. Berglas},
title = {Design Recovery through Formal Specification},
journal ={Australian Software Engineering Conference},
volume = {0},
year = {1998},
isbn = {0-8186-9187-5},
pages = {22},
doi = {http://doi.ieeecomputersociety.org/10.1109/ASWEC.1998.730910},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}

TY - CONF
JO - Australian Software Engineering Conference
TI - Design Recovery through Formal Specification
SN - 0-8186-9187-5
SP
EP
A1 - W. Lim.,
A1 - J. Harrison,
A1 - P. Bailes,
A1 - A. Berglas,
PY - 1998
VL - 0
JA - Australian Software Engineering Conference
ER -