%0 Conference Paper %1 conf/hvc/GaleottiFMFZ14 %A Galeotti, Juan Pablo %A Furia, Carlo A. %A May, Eva %A Fraser, Gordon %A Zeller, Andreas %B Haifa Verification Conference %D 2014 %E Yahav, Eran %I Springer %K dblp %P 48-53 %T DynaMate: Dynamically Inferring Loop Invariants for Automatic Full Functional Verification. %U http://dblp.uni-trier.de/db/conf/hvc/hvc2014.html#GaleottiFMFZ14 %V 8855 %@ 978-3-319-13337-9

@inproceedings{conf/hvc/GaleottiFMFZ14, added-at = {2017-05-19T00:00:00.000+0200}, author = {Galeotti, Juan Pablo and Furia, Carlo A. and May, Eva and Fraser, Gordon and Zeller, Andreas}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2f053211cd36512beb694e8b2949c6936/dblp}, booktitle = {Haifa Verification Conference}, crossref = {conf/hvc/2014}, editor = {Yahav, Eran}, ee = {https://doi.org/10.1007/978-3-319-13338-6_4}, interhash = {56bb2ec6f7afb07553780dfd886cf284}, intrahash = {f053211cd36512beb694e8b2949c6936}, isbn = {978-3-319-13337-9}, keywords = {dblp}, pages = {48-53}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T16:31:05.000+0200}, title = {DynaMate: Dynamically Inferring Loop Invariants for Automatic Full Functional Verification.}, url = {http://dblp.uni-trier.de/db/conf/hvc/hvc2014.html#GaleottiFMFZ14}, volume = 8855, year = 2014 }