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
PDF:

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