- ๐ ย Bachelor of Science in Computer Science at University of Parma
- ๐ ย Master of Science in Computer Science at University of Parma
- ๐ ย Iโm currently a PhD Candidate at Ca' Foscari University of Venice
gretadolcetti / clam Goto Github PK
View Code? Open in Web Editor NEWThis project forked from seahorn/clam
Static Analyzer for LLVM bitcode based on Abstract Interpretation
License: Apache License 2.0