Formal Methods in Human-Computer Interaction Book Discussion
Formal Methods in Human-Computer Interaction (Cambridge Series on Human-Computer Interaction, Series Number 2)
by
Formal Methods in Human-Computer Interaction (Cambridge Series on Human-Computer Interaction, Series Number 2)