Publikation
Martin Ring; Christoph Lüth
In: Peter Csaba Ölveczky; Gwen Salaün (Hrsg.). Software Engineering and Formal Methods - 17th International Conference, Proceedings. International Conference on Software Engineering and Formal Methods (SEFM-2019), September 16-20, Oslo, Norway, Pages 454-468, Lecture Notes in Computer Science (LNCS), Vol. 11724, ISBN 978-3-030-30446-1, Springer, Cham, 9/2019.
@inproceedings{pub10682, author = { Ring, Martin and Lüth, Christoph }, editor = { Ölveczky, Peter Csaba and Salaün, Gwen }, title = {Let's Prove It Later --- Verification at Different Points in Time}, booktitle = {Software Engineering and Formal Methods - 17th International Conference, Proceedings. International Conference on Software Engineering and Formal Methods (SEFM-2019), September 16-20, Oslo, Norway}, series = {Lecture Notes in Computer Science (LNCS)}, year = {2019}, month = {9}, volume = {11724}, pages = {454--468}, publisher = {Springer}, isbn = {978-3-030-30446-1} }
Deutsches Forschungszentrum für
Künstliche Intelligenz GmbH (DFKI)
Trippstadter Str. 122
67663 Kaiserslautern
Deutschland
Tel.: +49 631 20575 0
© DFKI, 2023