Concurrent Software Verification

Marco Carbone