%0 Journal Article %1 journals/tse/Polak79 %A Polak, Wolfgang %D 1979 %J IEEE Trans. Software Eng. %K dblp %N 5 %P 453-458 %T An Exercise in Automatic Program Verification. %U http://dblp.uni-trier.de/db/journals/tse/tse5.html#Polak79 %V 5

@article{journals/tse/Polak79, added-at = {2015-12-10T00:00:00.000+0100}, author = {Polak, Wolfgang}, biburl = {https://www.bibsonomy.org/bibtex/27d63837fb43630ace4d1bdfa036025d9/dblp}, ee = {http://doi.ieeecomputersociety.org/10.1109/TSE.1979.230183}, interhash = {103693f85c12cf29f51ba410c5e13d7d}, intrahash = {7d63837fb43630ace4d1bdfa036025d9}, journal = {IEEE Trans. Software Eng.}, keywords = {dblp}, number = 5, pages = {453-458}, timestamp = {2015-12-12T11:47:15.000+0100}, title = {An Exercise in Automatic Program Verification.}, url = {http://dblp.uni-trier.de/db/journals/tse/tse5.html#Polak79}, volume = 5, year = 1979 }