%0 Journal Article %1 journals/computer/JezequelM97 %A Jézéquel, Jean-Marc %A Meyer, Bertrand %D 1997 %J Computer %K dblp %N 1 %P 129-130 %T Design by Contract: The Lessons of Ariane. %U http://dblp.uni-trier.de/db/journals/computer/computer30.html#JezequelM97 %V 30

@article{journals/computer/JezequelM97, added-at = {2020-08-12T00:00:00.000+0200}, author = {Jézéquel, Jean-Marc and Meyer, Bertrand}, biburl = {https://www.bibsonomy.org/bibtex/25cb34526f239c47affbbbd3e8a26c56c/dblp}, ee = {http://doi.ieeecomputersociety.org/10.1109/2.562936}, interhash = {3f9e9fefafec5129c654c27a863b7497}, intrahash = {5cb34526f239c47affbbbd3e8a26c56c}, journal = {Computer}, keywords = {dblp}, number = 1, pages = {129-130}, timestamp = {2020-08-13T11:44:52.000+0200}, title = {Design by Contract: The Lessons of Ariane.}, url = {http://dblp.uni-trier.de/db/journals/computer/computer30.html#JezequelM97}, volume = 30, year = 1997 }