GitHub repository: ksteffe/checkerMaven
Primary language: Java
Created: 2015-07-02T22:35:00Z
Description: A very simple demo of the Checker Framework with Maven