%0 Conference Paper %1 conf/icfem/CavalcantiG07 %A Cavalcanti, Ana %A Gaudel, Marie-Claude %B ICFEM %D 2007 %E Butler, Michael J. %E Hinchey, Michael G. %E Larrondo-Petrie, María M. %I Springer %K %P 151-170 %T Testing for Refinement in CSP. %U http://dblp.uni-trier.de/db/conf/icfem/icfem2007.html#CavalcantiG07 %V 4789 %@ 978-3-540-76648-3

@inproceedings{conf/icfem/CavalcantiG07, added-at = {2023-12-13T04:46:31.000+0100}, author = {Cavalcanti, Ana and Gaudel, Marie-Claude}, biburl = {https://www.bibsonomy.org/bibtex/26231a9f04f1228981ba0235de5fa319e/admin}, booktitle = {ICFEM}, crossref = {conf/icfem/2007}, editor = {Butler, Michael J. and Hinchey, Michael G. and Larrondo-Petrie, María M.}, ee = {https://doi.org/10.1007/978-3-540-76650-6_10}, interhash = {9a2310ecc604df2f1e896f9f33c6dbfe}, intrahash = {6231a9f04f1228981ba0235de5fa319e}, isbn = {978-3-540-76648-3}, keywords = {}, pages = {151-170}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T04:46:31.000+0100}, title = {Testing for Refinement in CSP.}, url = {http://dblp.uni-trier.de/db/conf/icfem/icfem2007.html#CavalcantiG07}, volume = 4789, year = 2007 }