Irbis Gallegos, Omar Ochoa, Ann Q. Gates, Steve Roach, Salamah Salamah, Corina Vela
A Property Specification Tool for Generating Formal Specifications: Prospec 2.0
SEKE, 2008.
@inproceedings{SEKE-2008-GallegosOGRSV,
author = "Irbis Gallegos and Omar Ochoa and Ann Q. Gates and Steve Roach and Salamah Salamah and Corina Vela",
booktitle = "{Proceedings of the 20th International Conference on Software Engineering and Knowledge Engineering}",
isbn = "1-891706-22-5",
pages = "273--278",
publisher = "{Knowledge Systems Institute Graduate School}",
title = "{A Property Specification Tool for Generating Formal Specifications: Prospec 2.0}",
year = 2008,
}