Enrico+Steffinlongo

toc
 * Home * People * Enrico Steffinlongo**

an Italian computer scientist affiliated [|Ca' Foscari University of Venice]. He was involved in the specification of the open-source programming language Casanova.
 * Enrico Steffinlongo**,

=Selected Publications=
 * Giuseppe Maggiore, Pieter Spronck, Renzo Orsini, Michele Bugliesi, Enrico Steffinlongo, Mohamed Abbadi (**2012**). //Writing Real-Time .Net Games in Casanova//. [|ICEC 2012]
 * Giuseppe Maggiore, Alvise Spanò, Renzo Orsini, Michele Bugliesi, Mohamed Abbadi, Enrico Steffinlongo (**2012**). //A formal specification for Casanova, a language for computer games//. [|EICS 2012]

=External Links=
 * [|Enrico Steffinlongo - Google+]

=References= =What links here?= include page="Enrico Steffinlongo" component="backlinks" limit="40"
 * Up one level**