Collaborated with:
A.Setzer E.Walkingshaw
Talks about:
consist (1) verifi (1) declar (1) simpl (1) gui (1)
Person: Stephan Adelsberger
DBLP: Adelsberger:Stephan
Contributed to:
Wrote 1 papers:
- PPDP-2018-AdelsbergerSW #consistency #declarative #user interface
- Declarative GUIs: Simple, Consistent, and Verified (SA, AS, EW), p. 15.