%0 Conference Paper %1 conf/oopsla/MilanezMG14 %A Milanez, Alysson %A Massoni, Tiago %A Gheyi, Rohit %B SPLASH (Companion Volume) %D 2014 %E Black, Andrew P. %I ACM %K dblp %P 57-58 %T Enhancing conformance checking for contract-based programs. %U http://dblp.uni-trier.de/db/conf/oopsla/splash2014c.html#MilanezMG14 %@ 978-1-4503-3208-8

@inproceedings{conf/oopsla/MilanezMG14, added-at = {2021-10-14T00:00:00.000+0200}, author = {Milanez, Alysson and Massoni, Tiago and Gheyi, Rohit}, biburl = {https://www.bibsonomy.org/bibtex/291998563a362f6c28a440cce3fbb8e4a/dblp}, booktitle = {SPLASH (Companion Volume)}, crossref = {conf/oopsla/2014c}, editor = {Black, Andrew P.}, ee = {https://doi.org/10.1145/2660252.2660396}, interhash = {f9d3b5c31d7aff41f5f751531abb0252}, intrahash = {91998563a362f6c28a440cce3fbb8e4a}, isbn = {978-1-4503-3208-8}, keywords = {dblp}, pages = {57-58}, publisher = {ACM}, timestamp = {2024-04-09T11:46:11.000+0200}, title = {Enhancing conformance checking for contract-based programs.}, url = {http://dblp.uni-trier.de/db/conf/oopsla/splash2014c.html#MilanezMG14}, year = 2014 }