Home  |  english  |  Impressum  |  Datenschutz  |  Sitemap  |  KIT

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

Anmerkung

To appear

BibTeX

@InProceedings{GrebingKlamrothUlbrich19,
  author        = {Sarah Grebing and Jonas Klamroth and Mattias Ulbrich},
  title         = {Seamless Interactive Program Verification},
  note          = {To appear},
  booktitle     = {11th Working Conference on Verified Software: Theories, Tools, and Experiments ({VSTTE} 2019)},
  year          = {2019},
  month         = jul,
  date          = {July 13-14},
  location      = {New York City, USA}
}