Alberto Casagrande
0000-0002-8681-1482
Publication & Citation Trends
Publications
0 total
No publications found.
Research Topics
Formal Methods in Verification
(20)
Logic, programming, and type systems
(9)
Gene Regulatory Network Analysis
(7)
semigroups and automata theory
(7)
Software Testing and Debugging Techniques
(5)
Affiliations
University of Udine
University of Trieste
University of Trento
Istituto di Genomica Applicata
Libera Università Internazionale degli Studi Sociali Guido Carli