Verification 2018-2019, template project
A small (but powerful) IDE for pseuCo.
pseuCo-Java-Compiler
Source code used in the Programming 2 lecture