David Guaspari, Carla Marceau, Wolfgang Polak. Formal Verification of Ada Programs. In Ursula Martin, Jeannette M. Wing, editors, First International Workshop on Larch, Proceedings of the first First International Workshop on Larch, Dedham, Massachusetts, USA, 13-15 July 1992. Workshops in Computing, pages 104-141, Springer, 1992.
@inproceedings{GuaspariMP92,
title = {Formal Verification of Ada Programs},
author = {David Guaspari and Carla Marceau and Wolfgang Polak},
year = {1992},
tags = {Larch, program verification},
researchr = {https://researchr.org/publication/GuaspariMP92},
cites = {0},
citedby = {0},
pages = {104-141},
booktitle = {First International Workshop on Larch, Proceedings of the first First International Workshop on Larch, Dedham, Massachusetts, USA, 13-15 July 1992},
editor = {Ursula Martin and Jeannette M. Wing},
series = {Workshops in Computing},
publisher = {Springer},
isbn = {3-540-19804-0},
}