# Formal Models and Refinement for Graphical User Interface Design

> 2008 doctoral thesis by Judy Bowen at University of Waikato

**Wikidata**: [Q112381586](https://www.wikidata.org/wiki/Q112381586)  
**Source**: https://4ort.xyz/entity/formal-models-and-refinement-for-graphical-user-interface-design


## References

1. [Source](https://researchcommons.waikato.ac.nz/handle/10289/3995)