Joy N. Reed, J. E. Sinclair, F. Guigand
Deductive Reasoning versus Model Checking: Two Formal Approaches for System Development
IFM, 1999.
@inproceedings{IFM-1999-ReedSG,
author = "Joy N. Reed and J. E. Sinclair and F. Guigand",
booktitle = "{Proceedings of the First International Conference on Integrated Formal Methods}",
isbn = "1-85233-107-0",
pages = "375--394",
publisher = "{Springer-Verlag}",
title = "{Deductive Reasoning versus Model Checking: Two Formal Approaches for System Development}",
year = 1999,
}