%0 Conference Paper %1 conf/iclp/MeraLH09 %A Mera, Edison %A López-García, Pedro %A Hermenegildo, Manuel V. %B ICLP %D 2009 %E Hill, Patricia M. %E Warren, David Scott %I Springer %K dblp %P 281-295 %T Integrating Software Testing and Run-Time Checking in an Assertion Verification Framework. %U http://dblp.uni-trier.de/db/conf/iclp/iclp2009.html#MeraLH09 %V 5649 %@ 978-3-642-02845-8

@inproceedings{conf/iclp/MeraLH09, added-at = {2021-04-09T00:00:00.000+0200}, author = {Mera, Edison and López-García, Pedro and Hermenegildo, Manuel V.}, biburl = {https://www.bibsonomy.org/bibtex/2ab5ab6784339b61f6f799c20689f5062/dblp}, booktitle = {ICLP}, crossref = {conf/iclp/2009}, editor = {Hill, Patricia M. and Warren, David Scott}, ee = {https://doi.org/10.1007/978-3-642-02846-5_25}, interhash = {54a6613255336a99d135df5d9e2f8fb7}, intrahash = {ab5ab6784339b61f6f799c20689f5062}, isbn = {978-3-642-02845-8}, keywords = {dblp}, pages = {281-295}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T03:50:44.000+0200}, title = {Integrating Software Testing and Run-Time Checking in an Assertion Verification Framework.}, url = {http://dblp.uni-trier.de/db/conf/iclp/iclp2009.html#MeraLH09}, volume = 5649, year = 2009 }