%0 Conference Paper %1 conf/icse/CasoBGU09 %A de Caso, Guido %A Braberman, Víctor A. %A Garbervetsky, Diego %A Uchitel, Sebastián %B ICSE %D 2009 %I IEEE %K %P 452-462 %T Validation of contracts using enabledness preserving finite state abstractions. %U http://dblp.uni-trier.de/db/conf/icse/icse2009.html#CasoBGU09 %@ 978-1-4244-3452-7

@inproceedings{conf/icse/CasoBGU09, added-at = {2023-12-12T20:38:10.000+0100}, author = {de Caso, Guido and Braberman, Víctor A. and Garbervetsky, Diego and Uchitel, Sebastián}, biburl = {https://www.bibsonomy.org/bibtex/28eea3628c76ac50ff269e87820906639/admin}, booktitle = {ICSE}, crossref = {conf/icse/2009}, ee = {http://dl.acm.org/citation.cfm?id=1555059}, interhash = {321c63e76d79e726b484cadd6e965abb}, intrahash = {8eea3628c76ac50ff269e87820906639}, isbn = {978-1-4244-3452-7}, keywords = {}, pages = {452-462}, publisher = {IEEE}, timestamp = {2023-12-12T20:38:10.000+0100}, title = {Validation of contracts using enabledness preserving finite state abstractions.}, url = {http://dblp.uni-trier.de/db/conf/icse/icse2009.html#CasoBGU09}, year = 2009 }