%0 Journal Article %1 journals/computer/Meyer92 %A Meyer, Bertrand %D 1992 %J Computer %K dblp %N 10 %P 40-51 %T Applying "Design by Contract". %U http://dblp.uni-trier.de/db/journals/computer/computer25.html#Meyer92 %V 25

@article{journals/computer/Meyer92, added-at = {2020-08-12T00:00:00.000+0200}, author = {Meyer, Bertrand}, biburl = {https://www.bibsonomy.org/bibtex/2b2a2c431de8cd12cd4fb9330291a5d4b/dblp}, ee = {http://doi.ieeecomputersociety.org/10.1109/2.161279}, interhash = {541c52fec319993280444c152aea415c}, intrahash = {b2a2c431de8cd12cd4fb9330291a5d4b}, journal = {Computer}, keywords = {dblp}, number = 10, pages = {40-51}, timestamp = {2020-08-13T11:44:16.000+0200}, title = {Applying "Design by Contract".}, url = {http://dblp.uni-trier.de/db/journals/computer/computer25.html#Meyer92}, volume = 25, year = 1992 }