Beum-Seuk Lee
Automated Conversion from a Requirements Document to an Executable Formal Specification
ASE, 2001.
@inproceedings{ASE-2001-Lee,
author = "Beum-Seuk Lee",
booktitle = "{Proceedings of the 16th IEEE International Conference on Automated Software Engineering}",
ee = "http://www.computer.org/csdl/proceedings/ase/2001/1426/00/14260437.pdf",
isbn = "0-7695-1426-X",
pages = "437",
publisher = "{IEEE Computer Society}",
title = "{Automated Conversion from a Requirements Document to an Executable Formal Specification}",
year = 2001,
}