%0 Conference Paper %1 conf/hvc/Gupta07 %A Gupta, Aarti %B Haifa Verification Conference %D 2007 %E Yorav, Karen %I Springer %K dblp %P 14-15 %T From Hardware Verification to Software Verification: Re-use and Re-learn. %U http://dblp.uni-trier.de/db/conf/hvc/hvc2007.html#Gupta07 %V 4899 %@ 978-3-540-77964-3

@inproceedings{conf/hvc/Gupta07, added-at = {2017-05-19T00:00:00.000+0200}, author = {Gupta, Aarti}, biburl = {https://www.bibsonomy.org/bibtex/2b50dcc10b0ef59e721ffa15663700d87/dblp}, booktitle = {Haifa Verification Conference}, crossref = {conf/hvc/2007}, editor = {Yorav, Karen}, ee = {https://doi.org/10.1007/978-3-540-77966-7_3}, interhash = {7808f71dea37f16e30502354c8acd185}, intrahash = {b50dcc10b0ef59e721ffa15663700d87}, isbn = {978-3-540-77964-3}, keywords = {dblp}, pages = {14-15}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T16:06:33.000+0200}, title = {From Hardware Verification to Software Verification: Re-use and Re-learn.}, url = {http://dblp.uni-trier.de/db/conf/hvc/hvc2007.html#Gupta07}, volume = 4899, year = 2007 }