%0 Conference Paper %1 conf/larch/GuaspariMP92 %A Guaspari, David %A Marceau, Carla %A Polak, Wolfgang %B Larch %D 1992 %E Martin, Ursula %E Wing, Jeannette M. %I Springer %K dblp %P 104-141 %T Formal Verification of Ada Programs. %U http://dblp.uni-trier.de/db/conf/larch/larch1992.html#GuaspariMP92 %@ 3-540-19804-0

@inproceedings{conf/larch/GuaspariMP92, added-at = {2003-02-20T00:00:00.000+0100}, author = {Guaspari, David and Marceau, Carla and Polak, Wolfgang}, biburl = {https://www.bibsonomy.org/bibtex/24e4203ebf21f6bbc51eb35b8829644a8/dblp}, booktitle = {Larch}, crossref = {conf/larch/1992}, date = {2003-02-20}, description = {dblp}, editor = {Martin, Ursula and Wing, Jeannette M.}, interhash = {ac026c24f0b5e8e644fb5c8b4cf85926}, intrahash = {4e4203ebf21f6bbc51eb35b8829644a8}, isbn = {3-540-19804-0}, keywords = {dblp}, pages = {104-141}, publisher = {Springer}, series = {Workshops in Computing}, timestamp = {2003-02-20T00:00:00.000+0100}, title = {Formal Verification of Ada Programs.}, url = {http://dblp.uni-trier.de/db/conf/larch/larch1992.html#GuaspariMP92}, year = 1992 }