Let's Prove It Later --- Verification at Different Points in Time

@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}
}