%0 Journal Article %1 journals/tse/GoodLB75 %A Good, Donald I. %A London, Ralph L. %A Bledsoe, W. W. %D 1975 %J IEEE Trans. Software Eng. %K dblp %N 1 %P 59-67 %T An Interactive Program Verification System. %U http://dblp.uni-trier.de/db/journals/tse/tse1.html#GoodLB75 %V 1

@article{journals/tse/GoodLB75, added-at = {2023-08-28T00:00:00.000+0200}, author = {Good, Donald I. and London, Ralph L. and Bledsoe, W. W.}, biburl = {https://www.bibsonomy.org/bibtex/2fbcdd9f6a6fa23672f58827db7305df7/dblp}, ee = {https://www.wikidata.org/entity/Q113801383}, interhash = {b4abff24a6c3f7a8866fb669db3ea42a}, intrahash = {fbcdd9f6a6fa23672f58827db7305df7}, journal = {IEEE Trans. Software Eng.}, keywords = {dblp}, number = 1, pages = {59-67}, timestamp = {2024-04-08T21:07:21.000+0200}, title = {An Interactive Program Verification System.}, url = {http://dblp.uni-trier.de/db/journals/tse/tse1.html#GoodLB75}, volume = 1, year = 1975 }