%0 Conference Paper %1 conf/memocode/ChabotMP15 %A Chabot, Martial %A Mazet, Kévin %A Pierre, Laurence %B MEMOCODE %D 2015 %I IEEE %K dblp %P 208-217 %T Automatic and configurable instrumentation of C programs with temporal assertion checkers. %U http://dblp.uni-trier.de/db/conf/memocode/memocode2015.html#ChabotMP15 %@ 978-1-5090-0237-5

@inproceedings{conf/memocode/ChabotMP15, added-at = {2017-05-23T00:00:00.000+0200}, author = {Chabot, Martial and Mazet, Kévin and Pierre, Laurence}, biburl = {https://www.bibsonomy.org/bibtex/216574ff7ff49eb1efd308e36af94ed0a/dblp}, booktitle = {MEMOCODE}, crossref = {conf/memocode/2015}, ee = {https://doi.org/10.1109/MEMCOD.2015.7340488}, interhash = {fb4646ab20660440b1f7b816e381c25f}, intrahash = {16574ff7ff49eb1efd308e36af94ed0a}, isbn = {978-1-5090-0237-5}, keywords = {dblp}, pages = {208-217}, publisher = {IEEE}, timestamp = {2019-10-17T12:53:45.000+0200}, title = {Automatic and configurable instrumentation of C programs with temporal assertion checkers.}, url = {http://dblp.uni-trier.de/db/conf/memocode/memocode2015.html#ChabotMP15}, year = 2015 }