Publication
In: Peter Csaba Ölveczky, Gwen Salaün (editor). 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) 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} }
© DFKI, 2022