Developing GUI Applications in a Verified Setting.

Stephan Adelsberger, Anton Setzer, Eric Walkingshaw

Browse the full SETTA paper archive.