/hcispecs

Formal models of human-machine interfaces

Primary LanguageHTML

Stargazers