Adding text-based interaction to a direct-manipulation interface for program verification – lessons learned

@inproceedings{uitp2018,
	author = {['Sarah Grebing', 'An Thuy Tien Luong', '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 = {July},
	editor = {['Mateja Jamnik', 'Christoph Lüth']},
	note = {To appear}
}