GitHub repository: rugpanov/simple-static-analyzer
Primary language: Java
Created: 2018-05-11T21:42:39Z
Description: Static analyzer for the verification course