%0 Conference Paper %1 conf/birthday/FuriaM10 %A Furia, Carlo A. %A Meyer, Bertrand %B Fields of Logic and Computation %D 2010 %E Blass, Andreas %E Dershowitz, Nachum %E Reisig, Wolfgang %I Springer %K dblp %P 277-300 %T Inferring Loop Invariants Using Postconditions. %U http://dblp.uni-trier.de/db/conf/birthday/gurevich2010.html#FuriaM10 %V 6300 %@ 978-3-642-15024-1

@inproceedings{conf/birthday/FuriaM10, added-at = {2017-10-30T00:00:00.000+0100}, author = {Furia, Carlo A. and Meyer, Bertrand}, biburl = {https://www.bibsonomy.org/bibtex/267f04c5de82f420a1f50a619d0706a81/dblp}, booktitle = {Fields of Logic and Computation}, crossref = {conf/birthday/2010gurevich}, editor = {Blass, Andreas and Dershowitz, Nachum and Reisig, Wolfgang}, ee = {https://doi.org/10.1007/978-3-642-15025-8_15}, interhash = {c192140e78a2b6158c555bb3276b60f3}, intrahash = {67f04c5de82f420a1f50a619d0706a81}, isbn = {978-3-642-15024-1}, keywords = {dblp}, pages = {277-300}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T12:22:29.000+0200}, title = {Inferring Loop Invariants Using Postconditions.}, url = {http://dblp.uni-trier.de/db/conf/birthday/gurevich2010.html#FuriaM10}, volume = 6300, year = 2010 }