![](/img/cover-not-exists.png)
[ACM Press the 4th ACM SIGCHI symposium - Copenhagen, Denmark (2012.06.25-2012.06.26)] Proceedings of the 4th ACM SIGCHI symposium on Engineering interactive computing systems - EICS '12 - A formal specification for casanova, a language for computer games
Maggiore, Giuseppe, Spanò, Alvise, Orsini, Renzo, Bugliesi, Michele, Abbadi, Mohamed, Steffinlongo, EnricoYear:
2012
Language:
english
DOI:
10.1145/2305484.2305533
File:
PDF, 487 KB
english, 2012