John M. Punshon, J. Paul Tremblay, Paul G. Sorenson, P. S. Findeisen
From Formal Specifications to Natural Language: A Case Study
ASE, 1997.
@inproceedings{ASE-1997-PunshonTSF,
author = "John M. Punshon and J. Paul Tremblay and Paul G. Sorenson and P. S. Findeisen",
booktitle = "{Proceedings of the 12th International Conference on Automated Software Engineering}",
ee = "http://computer.org/proceedings/ase/7961/79610309abs.htm",
pages = "309--310",
publisher = "{IEEE Computer Society}",
title = "{From Formal Specifications to Natural Language: A Case Study}",
year = 1997,
}