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},
  note      = {To appear},
}```