Paola Inverardi, Balachander Krishnamurthy, Daniel Yankelevich
Yeast: A Case Study for a Practical Use of Formal Methods
TAPSOFT, 1993.
@inproceedings{TAPSOFT-1993-InverardiKY,
author = "Paola Inverardi and Balachander Krishnamurthy and Daniel Yankelevich",
booktitle = "{Proceedings of the Fifth International Joint Conference on Theory and Practice of Software Development}",
doi = "10.1007/3-540-56610-4_59",
isbn = "3-540-56610-4",
pages = "105--120",
publisher = "{Springer}",
title = "{Yeast: A Case Study for a Practical Use of Formal Methods}",
year = 1993,
}
Tags: