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

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