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

@book{Dahl1992, added-at = {2017-05-18T15:42:02.000+0200}, author = {Dahl, Ole-Johan}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2bef2d39de36dff879fd218b95d606aab/droessler}, groups = {public}, interhash = {8271a89fb96c3e9912111413a2ae918e}, intrahash = {bef2d39de36dff879fd218b95d606aab}, isbn = {978-0-13-951062-5}, keywords = {dblp imported puma test}, pages = {I-IX, 1-269}, publisher = {Prentice Hall}, series = {Prentice Hall international series in computer science}, timestamp = {2018-02-28T22:18:25.000+0100}, title = {Verifiable programming.}, username = {droessler}, year = 1992 }