W. Lim., J. Harrison, P. Bailes, A. Berglas, "Design Recovery through Formal Specification," Software Engineering Conference, Australian, 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 ={Software Engineering Conference, Australian},
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 - Software Engineering Conference, Australian
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 - Software Engineering Conference, Australian
ER -