%0 Conference Paper %1 conf/esop/LourencoFP16 %A Lourenço, Cláudio Belo %A Frade, Maria João %A Pinto, Jorge Sousa %B ESOP %D 2016 %E Thiemann, Peter %I Springer %K dblp %P 41-67 %T Formalizing Single-Assignment Program Verification: An Adaptation-Complete Approach. %U http://dblp.uni-trier.de/db/conf/esop/esop2016.html#LourencoFP16 %V 9632 %@ 978-3-662-49497-4

@inproceedings{conf/esop/LourencoFP16, added-at = {2018-11-02T00:00:00.000+0100}, author = {Lourenço, Cláudio Belo and Frade, Maria João and Pinto, Jorge Sousa}, biburl = {https://www.bibsonomy.org/bibtex/2cf5cc90c95848384a1a67ba646283a81/dblp}, booktitle = {ESOP}, crossref = {conf/esop/2016}, editor = {Thiemann, Peter}, ee = {https://doi.org/10.1007/978-3-662-49498-1_3}, interhash = {225d7c3b63a1e48bf881603d4a46bfb9}, intrahash = {cf5cc90c95848384a1a67ba646283a81}, isbn = {978-3-662-49497-4}, keywords = {dblp}, pages = {41-67}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-03-24T11:39:54.000+0100}, title = {Formalizing Single-Assignment Program Verification: An Adaptation-Complete Approach.}, url = {http://dblp.uni-trier.de/db/conf/esop/esop2016.html#LourencoFP16}, volume = 9632, year = 2016 }