Ferruccio Damiani

Registered user since Fri 18 Jul 2014

Name:Ferruccio Damiani
Affiliation:University of Turin
Research interests:Software organisation, verification and reuse; Computational models and languages; Concurrent, distributed, and mobile systems.


VORTEX 2019 A Field Calculus Implementation of Spatial Logic
Show activities from other conferences

ECOOP 2019-profile
View general profile