Home  |  deutsch  |  Legals  |  Data Protection  |  Sitemap  |  KIT

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

Note

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