%0 Conference Paper %1 conf/tacas/InversoT0TP14 %A Inverso, Omar %A Tomasco, Ermenegildo %A Fischer, Bernd %A Torre, Salvatore La %A Parlato, Gennaro %B TACAS %D 2014 %E Ábrahám, Erika %E Havelund, Klaus %I Springer %K dblp %P 398-401 %T Lazy-CSeq: A Lazy Sequentialization Tool for C - (Competition Contribution). %U http://dblp.uni-trier.de/db/conf/tacas/tacas2014.html#InversoT0TP14 %V 8413 %@ 978-3-642-54861-1

@inproceedings{conf/tacas/InversoT0TP14, added-at = {2018-11-14T00:00:00.000+0100}, author = {Inverso, Omar and Tomasco, Ermenegildo and Fischer, Bernd and Torre, Salvatore La and Parlato, Gennaro}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/299dc2bd89e3eef169fbb1cbd37e4fbfe/dblp}, booktitle = {TACAS}, crossref = {conf/tacas/2014}, editor = {Ábrahám, Erika and Havelund, Klaus}, ee = {https://www.wikidata.org/entity/Q57658766}, interhash = {432db9877838da6fc4691a263afc20a2}, intrahash = {99dc2bd89e3eef169fbb1cbd37e4fbfe}, isbn = {978-3-642-54861-1}, keywords = {dblp}, pages = {398-401}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T16:30:29.000+0200}, title = {Lazy-CSeq: A Lazy Sequentialization Tool for C - (Competition Contribution).}, url = {http://dblp.uni-trier.de/db/conf/tacas/tacas2014.html#InversoT0TP14}, volume = 8413, year = 2014 }