Statistics
Publications
1
Citations
13
H-Index
1
Active since
2002
Affiliations
University of Florence(Current)
M. Traversi is an author at University of Florence specializing in formal modeling, computing, and object-oriented design.
Publications per year
2002–2002
1
1
An object-oriented dual language for specifying reactive systems
Giacomo Bucci, M. Campanai, Paolo Nesi et al. · 2002 · 13 citations
1–1 of 1