%0 Conference Paper %1 conf/cav/GuptaR09 %A Gupta, Ashutosh %A Rybalchenko, Andrey %B CAV %D 2009 %E Bouajjani, Ahmed %E Maler, Oded %I Springer %K %P 634-640 %T InvGen: An Efficient Invariant Generator. %U http://dblp.uni-trier.de/db/conf/cav/cav2009.html#GuptaR09 %V 5643 %@ 978-3-642-02657-7

@inproceedings{conf/cav/GuptaR09, added-at = {2023-12-14T16:04:38.000+0100}, author = {Gupta, Ashutosh and Rybalchenko, Andrey}, biburl = {https://www.bibsonomy.org/bibtex/2b7c99f49030ac158ff711a7ccb5e3ff9/admin}, booktitle = {CAV}, crossref = {conf/cav/2009}, editor = {Bouajjani, Ahmed and Maler, Oded}, ee = {https://doi.org/10.1007/978-3-642-02658-4_48}, interhash = {f33520a80ee4da22a6e0e19e4bd09db3}, intrahash = {b7c99f49030ac158ff711a7ccb5e3ff9}, isbn = {978-3-642-02657-7}, keywords = {}, pages = {634-640}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-14T16:04:38.000+0100}, title = {InvGen: An Efficient Invariant Generator.}, url = {http://dblp.uni-trier.de/db/conf/cav/cav2009.html#GuptaR09}, volume = 5643, year = 2009 }