Joseph A. Goguen, Kai Lin, A. Mori, Grigore Rosu, A. Sato
Distributed Cooperative Formal Methods Tools
ASE, 1997.
@inproceedings{ASE-1997-GoguenLMRS,
author = "Joseph A. Goguen and Kai Lin and A. Mori and Grigore Rosu and A. Sato",
booktitle = "{Proceedings of the 12th International Conference on Automated Software Engineering}",
ee = "http://computer.org/proceedings/ase/7961/79610055abs.htm",
pages = "55--62",
publisher = "{IEEE Computer Society}",
title = "{Distributed Cooperative Formal Methods Tools}",
year = 1997,
}