%0 Conference Paper %1 conf/fm/SampaioWC02 %A Sampaio, Augusto %A Woodcock, Jim %A Cavalcanti, Ana %B FME %D 2002 %E Eriksson, Lars-Henrik %E Lindsay, Peter A. %I Springer %K %P 451-470 %T Refinement in Circus. %U http://dblp.uni-trier.de/db/conf/fm/fme2002.html#SampaioWC02 %V 2391 %@ 3-540-43928-5

@inproceedings{conf/fm/SampaioWC02, added-at = {2023-12-13T01:11:12.000+0100}, author = {Sampaio, Augusto and Woodcock, Jim and Cavalcanti, Ana}, biburl = {https://www.bibsonomy.org/bibtex/227ef69cabbba250311d5736e3dc38c21/admin}, booktitle = {FME}, crossref = {conf/fm/2002}, editor = {Eriksson, Lars-Henrik and Lindsay, Peter A.}, ee = {https://doi.org/10.1007/3-540-45614-7_26}, interhash = {6df3e1fa2296eb7d4fede0de0955bfb0}, intrahash = {27ef69cabbba250311d5736e3dc38c21}, isbn = {3-540-43928-5}, keywords = {}, pages = {451-470}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T01:11:12.000+0100}, title = {Refinement in Circus.}, url = {http://dblp.uni-trier.de/db/conf/fm/fme2002.html#SampaioWC02}, volume = 2391, year = 2002 }