The KeYmaera X proof IDE: Concepts on usability in hybrid systems theorem proving

@inproceedings{DBLP:conf/fide/MitschP16,
	pdf = {pub/webui.pdf},
	author = {['Stefan Mitsch', 'André Platzer']},
	title = {The KeYmaera X proof IDE:
               Concepts on usability in hybrid systems theorem proving},
	booktitle = {3rd Workshop on Formal Integrated Development Environment},
	pages = {67-81},
	year = {2016},
	doi = {10.4204/EPTCS.240.5},
	editor = {['Catherine Dubois', 'Paolo Masci', 'Dominique Méry']},
	publisher = {Open Publishing Association},
	series = {EPTCS},
	volume = {240}
}