Automata-2019

microJ (Level 3) was implemented in 4 stages:

MicroJ Specs