%0 Conference Paper %1 conf/fm/Woodcock91 %A Woodcock, Jim %B VDM Europe (2) %D 1991 %E Prehn, Søren %E Toetenel, W. J. %I Springer %K dblp %P 79-140 %T A Tutorial on the Refinement Calculus. %U http://dblp.uni-trier.de/db/conf/fm/vdme1991-2.html#Woodcock91 %V 552 %@ 3-540-54868-8

@inproceedings{conf/fm/Woodcock91, added-at = {2023-02-17T00:00:00.000+0100}, author = {Woodcock, Jim}, biburl = {https://www.bibsonomy.org/bibtex/2083c1f7bf5a5a1f5c2a624298fb149cc/dblp}, booktitle = {VDM Europe (2)}, crossref = {conf/fm/1991-2}, editor = {Prehn, Søren and Toetenel, W. J.}, ee = {https://doi.org/10.1007/BFb0019996}, interhash = {1b5123f4ec983c87b80e91d8e5680252}, intrahash = {083c1f7bf5a5a1f5c2a624298fb149cc}, isbn = {3-540-54868-8}, keywords = {dblp}, pages = {79-140}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T22:45:21.000+0200}, title = {A Tutorial on the Refinement Calculus.}, url = {http://dblp.uni-trier.de/db/conf/fm/vdme1991-2.html#Woodcock91}, volume = 552, year = 1991 }