%0 Journal Article %1 journals/computer/Jackson06 %A Jackson, Michael %D 2006 %J Computer %K dblp %N 10 %P 65-71 %T What Can We Expect from Program Verification? %U http://dblp.uni-trier.de/db/journals/computer/computer39.html#Jackson06 %V 39

@article{journals/computer/Jackson06, added-at = {2020-08-12T00:00:00.000+0200}, author = {Jackson, Michael}, biburl = {https://www.bibsonomy.org/bibtex/2436af08fd02dd8e6f341743cebf83881/dblp}, ee = {http://doi.ieeecomputersociety.org/10.1109/MC.2006.363}, interhash = {df7e27a9b3dcefc027c564feb9b58e61}, intrahash = {436af08fd02dd8e6f341743cebf83881}, journal = {Computer}, keywords = {dblp}, number = 10, pages = {65-71}, timestamp = {2020-08-13T11:43:01.000+0200}, title = {What Can We Expect from Program Verification?}, url = {http://dblp.uni-trier.de/db/journals/computer/computer39.html#Jackson06}, volume = 39, year = 2006 }