%0 Journal Article %1 journals/computer/BowenBDGGHHHJJLPRWZ96 %A Bowen, Jonathan P. %A Butler, Ricky W. %A Dill, David L. %A Glass, Robert L. %A Gries, David %A Hall, Anthony %A Hinchey, Michael G. %A Holloway, C. Michael %A Jackson, Daniel %A Jones, Cliff B. %A Lutz, Michael J. %A Parnas, David Lorge %A Rushby, John M. %A Wing, Jeannette M. %A Zave, Pamela %D 1996 %J Computer %K dblp %N 4 %P 16-30 %T An Invitation to Formal Methods. %U http://dblp.uni-trier.de/db/journals/computer/computer29.html#BowenBDGGHHHJJLPRWZ96 %V 29

@article{journals/computer/BowenBDGGHHHJJLPRWZ96, added-at = {2021-10-14T00:00:00.000+0200}, author = {Bowen, Jonathan P. and Butler, Ricky W. and Dill, David L. and Glass, Robert L. and Gries, David and Hall, Anthony and Hinchey, Michael G. and Holloway, C. Michael and Jackson, Daniel and Jones, Cliff B. and Lutz, Michael J. and Parnas, David Lorge and Rushby, John M. and Wing, Jeannette M. and Zave, Pamela}, biburl = {https://www.bibsonomy.org/bibtex/2f63d80c75c0d91819c57a8f974349af2/dblp}, ee = {https://www.wikidata.org/entity/Q56534219}, interhash = {5844ee4a7f679498971235594e2a15ea}, intrahash = {f63d80c75c0d91819c57a8f974349af2}, journal = {Computer}, keywords = {dblp}, number = 4, pages = {16-30}, timestamp = {2024-04-08T18:08:50.000+0200}, title = {An Invitation to Formal Methods.}, url = {http://dblp.uni-trier.de/db/journals/computer/computer29.html#BowenBDGGHHHJJLPRWZ96}, volume = 29, year = 1996 }