borzacchiello

PhD. Writing symbolic execution engines and program analysis related stuff

Location:Rome

Pinned Repositories

borzacchiello's Repositories