%0 Conference Paper %1 conf/birthday/KlamrothLPU20 %A Klamroth, Jonas %A Lanzinger, Florian %A Pfeifer, Wolfram %A Ulbrich, Mattias %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 290-312 %T The Karlsruhe Java Verification Suite. %U http://dblp.uni-trier.de/db/conf/birthday/hahnle2022.html#KlamrothLPU20 %V 13360 %@ 978-3-031-08166-8

@inproceedings{conf/birthday/KlamrothLPU20, added-at = {2022-10-18T00:00:00.000+0200}, author = {Klamroth, Jonas and Lanzinger, Florian and Pfeifer, Wolfram and Ulbrich, Mattias}, biburl = {https://www.bibsonomy.org/bibtex/2b358284ae1073bdeebc9875edc4f4ab5/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_14}, interhash = {0c822ce01b34a526442e67d526f25579}, intrahash = {b358284ae1073bdeebc9875edc4f4ab5}, isbn = {978-3-031-08166-8}, keywords = {dblp}, pages = {290-312}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T14:05:38.000+0200}, title = {The Karlsruhe Java Verification Suite.}, url = {http://dblp.uni-trier.de/db/conf/birthday/hahnle2022.html#KlamrothLPU20}, volume = 13360, year = 2022 }