%0 Conference Paper %1 conf/fase/LidstromG21 %A Lidström, Christian %A Gurov, Dilian %B FASE %D 2021 %E Guerra, Esther %E Stoelinga, Mariëlle %I Springer %K dblp %P 152-171 %T An Abstract Contract Theory for Programs with Procedures. %U http://dblp.uni-trier.de/db/conf/fase/fase2021.html#LidstromG21 %V 12649 %@ 978-3-030-71500-7

@inproceedings{conf/fase/LidstromG21, added-at = {2021-05-14T00:00:00.000+0200}, author = {Lidström, Christian and Gurov, Dilian}, biburl = {https://www.bibsonomy.org/bibtex/2b41625ef9374ec2940ebf4dbe7dff46d/dblp}, booktitle = {FASE}, crossref = {conf/fase/2021}, editor = {Guerra, Esther and Stoelinga, Mariëlle}, ee = {https://doi.org/10.1007/978-3-030-71500-7_8}, interhash = {7557578512f45901a1bae41346ae8655}, intrahash = {b41625ef9374ec2940ebf4dbe7dff46d}, isbn = {978-3-030-71500-7}, keywords = {dblp}, pages = {152-171}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T02:32:27.000+0200}, title = {An Abstract Contract Theory for Programs with Procedures.}, url = {http://dblp.uni-trier.de/db/conf/fase/fase2021.html#LidstromG21}, volume = 12649, year = 2021 }