Skip to content

Declarative GUIs: Simple, Consistent, and Verified.

Stephan Adelsberger, Anton Setzer, Eric Walkingshaw

VenueCPPDP
Year2018
ProceedingsPPDP

Browse the full PPDP paper archive.