Slide 1Modelling & Datatypes Koen Lindström Claessen Slide 2 Software Software = Programs + Data Slide 3 Modelling Data A big part of designing software is modelling…
