Developing GUI Applications in a Verified Setting

Dependable Software Engineering. Theories, Tools, and Applications - Lecture Notes in Computer Science ◽

10.1007/978-3-319-99933-3_6 ◽

2018 ◽

pp. 89-107 ◽

Cited By ~ 1

Author(s):

Stephan Adelsberger ◽

Anton Setzer ◽

Eric Walkingshaw

Download Full-text