Home
Genres
Deals
Log in
Sign up
Premium
Help
Download
Privacy
Terms
Francesco Logozzo — Author | Lex | Lex
F
Francesco Logozzo
2 works on record
Works
Static Analysis
Verification, Model Checking, and Abstract Interpretation
Verification, Model Checking, and Abstract Interpretation