%0 Conference Paper %1 conf/isola/CokL22 %A Cok, David R. %A Leavens, Gary T. %B ISoLA (1) %D 2022 %E Margaria, Tiziana %E Steffen, Bernhard %I Springer %K dblp %P 29-44 %T Abstraction in Deductive Verification: Model Fields and Model Methods. %U http://dblp.uni-trier.de/db/conf/isola/isola2022-1.html#CokL22 %V 13701 %@ 978-3-031-19849-6

@inproceedings{conf/isola/CokL22, added-at = {2022-10-21T00:00:00.000+0200}, author = {Cok, David R. and Leavens, Gary T.}, biburl = {https://www.bibsonomy.org/bibtex/29c424e044925fff555e4e503e5dddd8b/dblp}, booktitle = {ISoLA (1)}, crossref = {conf/isola/2022-1}, editor = {Margaria, Tiziana and Steffen, Bernhard}, ee = {https://doi.org/10.1007/978-3-031-19849-6_3}, interhash = {b8c756e1b3171c6942dccf117bf31e36}, intrahash = {9c424e044925fff555e4e503e5dddd8b}, isbn = {978-3-031-19849-6}, keywords = {dblp}, pages = {29-44}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T13:11:52.000+0200}, title = {Abstraction in Deductive Verification: Model Fields and Model Methods.}, url = {http://dblp.uni-trier.de/db/conf/isola/isola2022-1.html#CokL22}, volume = 13701, year = 2022 }