Statistics
Publications
1
Citations
39
H-Index
1
Active since
1994
Affiliations
G. F. Mascari is an author at Istituto per le Applicazioni del Calcolo Mauro Picone specializing in formal methods, computing, and theorem proving.
Publications per year
1994–1994
1
1
1–1 of 1