%0 Journal Article %1 journals/cj/BoitenPTV92 %A Boiten, Eerke A. %A Partsch, Helmuth %A Tuijnman, Daniel %A Völker, Norbert %D 1992 %J Comput. J. %K dblp %N 6 %P 547-554 %T How to Produce Correct Software - An Introduction to Formal Specification and Program Development by Transformations. %U http://dblp.uni-trier.de/db/journals/cj/cj35.html#BoitenPTV92 %V 35

@article{journals/cj/BoitenPTV92, added-at = {2011-06-28T00:00:00.000+0200}, author = {Boiten, Eerke A. and Partsch, Helmuth and Tuijnman, Daniel and Völker, Norbert}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/25b41824886dda5ca9e11406e5349bff5/dblp}, ee = {http://dx.doi.org/10.1093/comjnl/35.6.547}, interhash = {30ee454b58220835a4bcfffa00a05bd5}, intrahash = {5b41824886dda5ca9e11406e5349bff5}, journal = {Comput. J.}, keywords = {dblp}, number = 6, pages = {547-554}, timestamp = {2016-02-02T09:09:38.000+0100}, title = {How to Produce Correct Software - An Introduction to Formal Specification and Program Development by Transformations.}, url = {http://dblp.uni-trier.de/db/journals/cj/cj35.html#BoitenPTV92}, volume = 35, year = 1992 }