%0 Journal Article %1 journals/fac/CavalcantiSW03 %A Cavalcanti, Ana %A Sampaio, Augusto %A Woodcock, Jim %D 2003 %J Formal Asp. Comput. %K %N 2-3 %P 146-181 %T A Refinement Strategy for Circus. %U http://dblp.uni-trier.de/db/journals/fac/fac15.html#CavalcantiSW03 %V 15

@article{journals/fac/CavalcantiSW03, added-at = {2023-12-12T17:06:20.000+0100}, author = {Cavalcanti, Ana and Sampaio, Augusto and Woodcock, Jim}, biburl = {https://www.bibsonomy.org/bibtex/28307715716d6f91019d3d808f8347e80/admin}, date = {2004-02-25}, ee = {http://dx.doi.org/10.1007/s00165-003-0006-5}, interhash = {0157a33e5f5be278cf3ce8d8776456b0}, intrahash = {8307715716d6f91019d3d808f8347e80}, journal = {Formal Asp. Comput.}, keywords = {}, number = {2-3}, pages = {146-181}, timestamp = {2023-12-12T17:06:20.000+0100}, title = {A Refinement Strategy for Circus.}, url = {http://dblp.uni-trier.de/db/journals/fac/fac15.html#CavalcantiSW03}, volume = 15, year = 2003 }