Home * People * Enrico Steffinlongo

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 [1].

Selected Publications

[2]

External Links


References

  1. ^ 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
  2. ^ dblp: Enrico Steffinlongo

What links here?


Up one level