A Cal Tool For Reasoning About ProgramsThis Java Application was my third year project at University. Its purpose is to act as a demonstartive tool to complement the first year computer science course, Reasoning About Programs.LinkFind out more on the Project Website. |