formal methods in HCI
tutorials
by Alan Dix |
|
interfaces are hard to understand interfaces are hard to design interfaces are hard to build can formal methods help? |
http://www.hiraeth.com/alan/tutorials/formal/ | Alan Dix |