C. Michael Holloway, Ben L. Di Vito, David Guaspari, Michael Smith
Formal Methods Fact vs. Fiction
Ada, 1994.
@inproceedings{TRI-Ada-1994-HollowayVGS,
author = "C. Michael Holloway and Ben L. Di Vito and David Guaspari and Michael Smith",
booktitle = "{Proceedings of the TRI-Ada Conference}",
doi = "10.1145/197694.197727",
pages = "256--258",
publisher = "{ACM}",
title = "{Formal Methods Fact vs. Fiction}",
year = 1994,
}