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

Begutachtete Veröffentlichung in Tagungsband

Autor(en):Sarah Grebing, An Thuy Tien Luong und Alexander Weigl
In:13th International Workshop on User Interfaces for Theorem Provers (UITP 2018)
Jahr:2018
PDF:

Anmerkung

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},
  %snip
  pdf={https://formal.kastel.kit.edu/~grebing/pub/uitp2018.pdf}
}