Alberto Griggio
0000-0002-3311-0893
Publication & Citation Trends
Publications
0 total
No publications found.
Research Topics
Formal Methods in Verification
(97)
Logic, programming, and type systems
(50)
Software Testing and Debugging Techniques
(47)
Software Reliability and Analysis Research
(24)
Model-Driven Software Engineering Techniques
(14)
Affiliations
National Agency for New Technologies, Energy and Sustainable Economic Development
University of Debrecen
Intel (United States)
University of Padua
Istituto Nazionale di Fisica Nucleare