%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 IEEE Computer %K engineering formal methods myown software %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 = {2011-08-02T00:44:27.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/25229097308244300e7010d556fd603b6/jpbowen}, description = {dblp}, interhash = {5844ee4a7f679498971235594e2a15ea}, intrahash = {5229097308244300e7010d556fd603b6}, journal = {IEEE Computer}, keywords = {engineering formal methods myown software}, number = 4, pages = {16-30}, timestamp = {2011-08-02T00:44:27.000+0200}, title = {An Invitation to Formal Methods.}, url = {http://dblp.uni-trier.de/db/journals/computer/computer29.html#BowenBDGGHHHJJLPRWZ96}, volume = 29, year = 1996 }