%0 Conference Paper %1 conf/icse/CheathamHT81 %A Jr., Thomas E. Cheatham %A Holloway, Glenn H. %A Townley, Judy A. %B ICSE %D 1981 %E Jeffrey, Seymour %E Stucki, Leon G. %I IEEE Computer Society %K dblp %P 430-438 %T Program Refinement by Transsformation. %U http://dblp.uni-trier.de/db/conf/icse/icse81.html#CheathamHT81 %@ 0-89791-146-6

@inproceedings{conf/icse/CheathamHT81, added-at = {2012-05-14T00:00:00.000+0200}, author = {Jr., Thomas E. Cheatham and Holloway, Glenn H. and Townley, Judy A.}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/258d4557eeec6297311acd42883e722fe/dblp}, booktitle = {ICSE}, crossref = {conf/icse/1981}, editor = {Jeffrey, Seymour and Stucki, Leon G.}, ee = {http://dl.acm.org/citation.cfm?id=802556}, interhash = {bdc845cdab30f1c5a09baf26e4895872}, intrahash = {58d4557eeec6297311acd42883e722fe}, isbn = {0-89791-146-6}, keywords = {dblp}, pages = {430-438}, publisher = {IEEE Computer Society}, timestamp = {2016-02-02T16:22:19.000+0100}, title = {Program Refinement by Transsformation.}, url = {http://dblp.uni-trier.de/db/conf/icse/icse81.html#CheathamHT81}, year = 1981 }