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

Adding Text-Based Interaction to a Direct-Manipulation Interface for Program Verification – Lessons Learned

Reviewed Paper In Proceedings

Author(s):Sarah Grebing, An Thuy Tien Luong, and Alexander Weigl
In:13th International Workshop on User Interfaces for Theorem Provers (UITP 2018)
Year:2018

Note

To appear

BibTeX

@InProceedings{uitp2018,
  author       = {Sarah Grebing and An Thuy Tien Luong and Alexander Weigl},
  title        = {Adding Text-Based Interaction to a Direct-Manipulation Interface for Program Verification -- Lessons
                  Learned},
  booktitle = {13th International Workshop on User Interfaces for Theorem Provers (UITP 2018)},
  year      = {2018},
  month     = jul,
  editor    = {Mateja Jamnik and Christoph Lüth},
  note      = {To appear}
}