A formal specification for casanova, a language for computer games - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Giuseppe Maggiore, Alvise Spanò, Renzo Orsini, Michele Bugliesi, Mohamed Abbadi, Enrico Steffinlongo. A formal specification for casanova, a language for computer games. In Simone Diniz Junqueira Barbosa, José Creissac Campos, Rick Kazman, Philippe A. Palanque, Michael D. Harrison, Steve Reeves, editors, ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS'12, Copenhagen, Denmark - June 25 - 28, 2012. pages 287-292, ACM, 2012. [doi]

This author has not been identified. Look up 'Giuseppe Maggiore' in GoogleThis author has not been identified. Look up 'Alvise Spanò' in GoogleThis author has not been identified. Look up 'Renzo Orsini' in GoogleThis author has not been identified. Look up 'Michele Bugliesi' in GoogleThis author has not been identified. Look up 'Mohamed Abbadi' in GoogleThis author has not been identified. Look up 'Enrico Steffinlongo' in Google

runs on WebDSL