%0 Conference Paper %1 conf/tacas/RochaRIC017 %A Rocha, Williame %A Rocha, Herbert %A Ismail, Hussama %A Cordeiro, Lucas C. %A Fischer, Bernd %B TACAS (2) %D 2017 %E Legay, Axel %E Margaria, Tiziana %K dblp %P 360-364 %T DepthK: A k-Induction Verifier Based on Invariant Inference for C Programs - (Competition Contribution). %U http://dblp.uni-trier.de/db/conf/tacas/tacas2017-2.html#RochaRIC017 %V 10206 %@ 978-3-662-54580-5

@inproceedings{conf/tacas/RochaRIC017, added-at = {2018-11-14T00:00:00.000+0100}, author = {Rocha, Williame and Rocha, Herbert and Ismail, Hussama and Cordeiro, Lucas C. and Fischer, Bernd}, biburl = {https://www.bibsonomy.org/bibtex/2c2d8e2ab93ec2537b8c591689c452f33/dblp}, booktitle = {TACAS (2)}, crossref = {conf/tacas/2017-2}, editor = {Legay, Axel and Margaria, Tiziana}, ee = {https://www.wikidata.org/entity/Q57658725}, interhash = {b4a08dcb8b19dfb3cf55afe842d2da87}, intrahash = {c2d8e2ab93ec2537b8c591689c452f33}, isbn = {978-3-662-54580-5}, keywords = {dblp}, pages = {360-364}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:36:36.000+0200}, title = {DepthK: A k-Induction Verifier Based on Invariant Inference for C Programs - (Competition Contribution).}, url = {http://dblp.uni-trier.de/db/conf/tacas/tacas2017-2.html#RochaRIC017}, volume = 10206, year = 2017 }