D. Gurov, C. Lidström, and P. Rümmer. The Logic of Software. A Tasting Menu of Formal Methods, volume 13360 of Lecture Notes in Computer Science, page 229-242. Springer, (2022)
Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/birthday/GurovLR20
%A Gurov, Dilian
%A Lidström, Christian
%A Rümmer, Philipp
%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 229-242
%T Alice in Wineland: A Fairy Tale with Contracts.
%U http://dblp.uni-trier.de/db/conf/birthday/hahnle2022.html#GurovLR20
%V 13360
%@ 978-3-031-08166-8
@inproceedings{conf/birthday/GurovLR20,
added-at = {2022-09-25T00:00:00.000+0200},
author = {Gurov, Dilian and Lidström, Christian and Rümmer, Philipp},
biburl = {https://www.bibsonomy.org/bibtex/2691c5b78f6ac8c9576d2d0f6aab86b77/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_11},
interhash = {4702b3552abbc4967cdc7d407287466f},
intrahash = {691c5b78f6ac8c9576d2d0f6aab86b77},
isbn = {978-3-031-08166-8},
keywords = {dblp},
pages = {229-242},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2024-04-09T14:05:38.000+0200},
title = {Alice in Wineland: A Fairy Tale with Contracts.},
url = {http://dblp.uni-trier.de/db/conf/birthday/hahnle2022.html#GurovLR20},
volume = 13360,
year = 2022
}