%0 Conference Paper %1 conf/birthday/CokL20 %A Cok, David R. %A Leino, K. Rustan M. %B The Logic of Software. A Tasting Menu of Formal Methods %D 2022 %E Ahrendt, Wolfgang %E Beckert, Bernhard %E Bubel, Richard %E Johnsen, Einar Broch %I Springer %K dblp %P 105-128 %T Specifying the Boundary Between Unverified and Verified Code. %U http://dblp.uni-trier.de/db/conf/birthday/hahnle2022.html#CokL20 %V 13360 %@ 978-3-031-08166-8

@inproceedings{conf/birthday/CokL20, added-at = {2022-10-18T00:00:00.000+0200}, author = {Cok, David R. and Leino, K. Rustan M.}, biburl = {https://www.bibsonomy.org/bibtex/20e7332cf1dc7d4ba66768550667c55f3/dblp}, booktitle = {The Logic of Software. A Tasting Menu of Formal Methods}, crossref = {conf/birthday/2022hahnle}, editor = {Ahrendt, Wolfgang and Beckert, Bernhard and Bubel, Richard and Johnsen, Einar Broch}, ee = {https://doi.org/10.1007/978-3-031-08166-8_6}, interhash = {3de4543b0eac23e029161bd6e967963f}, intrahash = {0e7332cf1dc7d4ba66768550667c55f3}, isbn = {978-3-031-08166-8}, keywords = {dblp}, pages = {105-128}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T14:05:38.000+0200}, title = {Specifying the Boundary Between Unverified and Verified Code.}, url = {http://dblp.uni-trier.de/db/conf/birthday/hahnle2022.html#CokL20}, volume = 13360, year = 2022 }