Seamless Interactive Program Verification

Begutachtete Veröffentlichung in Tagungsband

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

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