Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Publications

Seamless Interactive Program Verification

Reviewed Paper In Proceedings
Author(s):Sarah Grebing, Jonas Klamroth, and Mattias Ulbrich
In:11th Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE 2019)
Year:2019
Preprint/PDF:GrebingKlamrothUlbrich2019.pdf

BibTeX

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