%0 Journal Article %1 journals/cacm/Leino10 %A Leino, K. Rustan M. %D 2010 %J Commun. ACM %K dblp %N 6 %P 106 %T Learning to do program verification. %U http://dblp.uni-trier.de/db/journals/cacm/cacm53.html#Leino10 %V 53

@article{journals/cacm/Leino10, added-at = {2018-11-06T00:00:00.000+0100}, author = {Leino, K. Rustan M.}, biburl = {https://www.bibsonomy.org/bibtex/2fd2007e842444181fbd626d7e2e95a12/dblp}, ee = {https://doi.org/10.1145/1743546.1743573}, interhash = {7639524b8ed7254070cac0588af2215d}, intrahash = {fd2007e842444181fbd626d7e2e95a12}, journal = {Commun. ACM}, keywords = {dblp}, number = 6, pages = 106, timestamp = {2018-11-07T11:54:09.000+0100}, title = {Learning to do program verification.}, url = {http://dblp.uni-trier.de/db/journals/cacm/cacm53.html#Leino10}, volume = 53, year = 2010 }