- ๐ ย 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
Highlights
- Pro
Block or Report
Block or report gretadolcetti
Report abuse
Contact GitHub support about this userโs behavior. Learn more about reporting abuse.
Report abusePopular repositories Loading
-
-
-
-
crab
crab PublicForked from seahorn/crab
A library for building abstract interpretation-based analyses
C++
-
-
clam
clam PublicForked from seahorn/clam
Static Analyzer for LLVM bitcode based on Abstract Interpretation
C
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.