Improving Automatic Complexity Analysis of Integer Programs.
J. Giesl, N. Lommen, M. Hark, und F. Meyer. The Logic of Software. A Tasting Menu of Formal Methods, Volume 13360 von Lecture Notes in Computer Science, Seite 193-228. Springer, (2022)
Bitte melden Sie sich an um selbst Rezensionen oder Kommentare zu erstellen.
Zitieren Sie diese Publikation
Mehr Zitationsstile
- bitte auswählen -
%0 Conference Paper
%1 conf/birthday/GieslLHM20
%A Giesl, Jürgen
%A Lommen, Nils
%A Hark, Marcel
%A Meyer, Fabian
%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 193-228
%T Improving Automatic Complexity Analysis of Integer Programs.
%U http://dblp.uni-trier.de/db/conf/birthday/hahnle2022.html#GieslLHM20
%V 13360
%@ 978-3-031-08166-8
@inproceedings{conf/birthday/GieslLHM20,
added-at = {2022-10-18T00:00:00.000+0200},
author = {Giesl, Jürgen and Lommen, Nils and Hark, Marcel and Meyer, Fabian},
biburl = {https://www.bibsonomy.org/bibtex/2a794c6a5071d50cd4e4bec452ee6743d/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_10},
interhash = {17fdd36bf13d436479cc0ebd8cda30e7},
intrahash = {a794c6a5071d50cd4e4bec452ee6743d},
isbn = {978-3-031-08166-8},
keywords = {dblp},
pages = {193-228},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2024-04-09T14:05:38.000+0200},
title = {Improving Automatic Complexity Analysis of Integer Programs.},
url = {http://dblp.uni-trier.de/db/conf/birthday/hahnle2022.html#GieslLHM20},
volume = 13360,
year = 2022
}