%0 Conference Paper %1 conf/tapsoft/Jones85 %A Jones, Cliff B. %B TAPSOFT, Vol.2 %D 1985 %E Ehrig, Hartmut %E Floyd, Christiane %E Nivat, Maurice %E Thatcher, James W. %I Springer %K dblp %P 27-41 %T The Role of Proof Obligations in Software Design. %U http://dblp.uni-trier.de/db/conf/tapsoft/tapsoft85-2.html#Jones85 %V 186 %@ 3-540-15199-0

@inproceedings{conf/tapsoft/Jones85, added-at = {2017-06-05T00:00:00.000+0200}, author = {Jones, Cliff B.}, biburl = {https://www.bibsonomy.org/bibtex/28482308adc3a219b2ea2b71bae871b06/dblp}, booktitle = {TAPSOFT, Vol.2}, crossref = {conf/tapsoft/1985-2}, editor = {Ehrig, Hartmut and Floyd, Christiane and Nivat, Maurice and Thatcher, James W.}, ee = {https://doi.org/10.1007/3-540-15199-0_3}, interhash = {1333d5d7845c4cae37c44322f2d687ad}, intrahash = {8482308adc3a219b2ea2b71bae871b06}, isbn = {3-540-15199-0}, keywords = {dblp}, pages = {27-41}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T18:25:38.000+0200}, title = {The Role of Proof Obligations in Software Design.}, url = {http://dblp.uni-trier.de/db/conf/tapsoft/tapsoft85-2.html#Jones85}, volume = 186, year = 1985 }