%0 Conference Paper %1 conf/birthday/0001K15 %A Falke, Stephan %A Kapur, Deepak %B Logic, Rewriting, and Concurrency %D 2015 %E Martí-Oliet, Narciso %E Ölveczky, Peter Csaba %E Talcott, Carolyn L. %I Springer %K dblp %P 264-286 %T When Is a Formula a Loop Invariant? %U http://dblp.uni-trier.de/db/conf/birthday/meseguer2015.html#0001K15 %V 9200 %@ 978-3-319-23164-8

@inproceedings{conf/birthday/0001K15, added-at = {2017-05-23T00:00:00.000+0200}, author = {Falke, Stephan and Kapur, Deepak}, biburl = {https://www.bibsonomy.org/bibtex/21cdd830e60aebb8ee5f83de45b6bdc31/dblp}, booktitle = {Logic, Rewriting, and Concurrency}, crossref = {conf/birthday/2015meseguer}, editor = {Martí-Oliet, Narciso and Ölveczky, Peter Csaba and Talcott, Carolyn L.}, ee = {https://doi.org/10.1007/978-3-319-23165-5_13}, interhash = {333650453914d2fd661d0bdd9580691f}, intrahash = {1cdd830e60aebb8ee5f83de45b6bdc31}, isbn = {978-3-319-23164-8}, keywords = {dblp}, pages = {264-286}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T12:20:30.000+0200}, title = {When Is a Formula a Loop Invariant?}, url = {http://dblp.uni-trier.de/db/conf/birthday/meseguer2015.html#0001K15}, volume = 9200, year = 2015 }