%0 Journal Article %1 journals/sigplan/Merrill83 %A Merrill, Gary H. %D 1983 %J ACM SIGPLAN Notices %K dblp %N 12 %P 96-105 %T Proofs, program correctness, and software engineering. %U http://dblp.uni-trier.de/db/journals/sigplan/sigplan18.html#Merrill83 %V 18

@article{journals/sigplan/Merrill83, added-at = {2020-05-26T00:00:00.000+0200}, author = {Merrill, Gary H.}, biburl = {https://www.bibsonomy.org/bibtex/2bef22447776fae2b2727ff1b1f91c2ed/dblp}, ee = {https://doi.org/10.1145/988193.988203}, interhash = {6a654f8950a8648c9f6ece173ca0c2ce}, intrahash = {bef22447776fae2b2727ff1b1f91c2ed}, journal = {ACM SIGPLAN Notices}, keywords = {dblp}, number = 12, pages = {96-105}, timestamp = {2020-05-27T11:38:31.000+0200}, title = {Proofs, program correctness, and software engineering.}, url = {http://dblp.uni-trier.de/db/journals/sigplan/sigplan18.html#Merrill83}, volume = 18, year = 1983 }