@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} }
Adding Text-Based Interaction to a Direct-Manipulation Interface for Program Verification – Lessons Learned
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: | https://formal.kastel.kit.edu/~grebing/pub/uitp2018.pdf |