A formal specification for casanova, a language for computer games.

Giuseppe Maggiore, Alvise Span, Renzo Orsini, Michele Bugliesi, Mohamed Abbadi, Enrico Steffinlongo

Browse the full EICS paper archive.