Registered user since Fri 18 Jul 2014
Name: Ferruccio Damiani
Affiliation: University of Turin
Personal website: http://www.di.unito.it/~damiani/
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|
View general profile