%0 Book %1 books/daglib/0068779 %A Dahl, Ole-Johan %B Prentice Hall international series in computer science %D 1992 %I Prentice Hall %K dblp %P I-IX, 1-269 %T Verifiable programming. %@ 978-0-13-951062-5

@book{books/daglib/0068779, added-at = {2011-04-08T00:00:00.000+0200}, author = {Dahl, Ole-Johan}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2bef2d39de36dff879fd218b95d606aab/dblp}, interhash = {8271a89fb96c3e9912111413a2ae918e}, intrahash = {bef2d39de36dff879fd218b95d606aab}, isbn = {978-0-13-951062-5}, keywords = {dblp}, pages = {I-IX, 1-269}, publisher = {Prentice Hall}, series = {Prentice Hall international series in computer science}, timestamp = {2016-02-02T10:47:17.000+0100}, title = {Verifiable programming.}, year = 1992 }