@InProceedings{GrebingKlamrothUlbrich19,
author = {Sarah Grebing and Jonas Klamroth and Mattias Ulbrich},
title = {Seamless Interactive Program Verification},
booktitle = {11th Working Conference on Verified Software: Theories, Tools, and Experiments ({VSTTE} 2019)},
year = {2019},
month = jul,
eventdate = {2019-07-13/2019-07-14},
venue = {New York City, USA}
}
Seamless Interactive Program Verification
| Autor(en): | Sarah Grebing, Jonas Klamroth und Mattias Ulbrich |
|---|---|
| In: | 11th Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE 2019) |
| Jahr: | 2019 |
| Preprint/PDF: | GrebingKlamrothUlbrich2019.pdf |