%0 Conference Paper %1 conf/asm/DerrickB03 %A Derrick, John %A Boiten, Eerke A. %B Abstract State Machines %D 2003 %E Börger, Egon %E Gargantini, Angelo %E Riccobene, Elvinia %I Springer %K dblp %P 33-56 %T Recent Advances in Refinement. %U http://dblp.uni-trier.de/db/conf/asm/asm2003.html#DerrickB03 %V 2589 %@ 3-540-00624-9

@inproceedings{conf/asm/DerrickB03, added-at = {2017-06-01T00:00:00.000+0200}, author = {Derrick, John and Boiten, Eerke A.}, biburl = {https://www.bibsonomy.org/bibtex/2b2aad345ae027944bba863779ba12f4d/dblp}, booktitle = {Abstract State Machines}, crossref = {conf/asm/2003}, editor = {Börger, Egon and Gargantini, Angelo and Riccobene, Elvinia}, ee = {https://doi.org/10.1007/3-540-36498-6_3}, interhash = {4ff3278770e96447082f67cd4fff494c}, intrahash = {b2aad345ae027944bba863779ba12f4d}, isbn = {3-540-00624-9}, keywords = {dblp}, pages = {33-56}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T19:42:08.000+0200}, title = {Recent Advances in Refinement.}, url = {http://dblp.uni-trier.de/db/conf/asm/asm2003.html#DerrickB03}, volume = 2589, year = 2003 }