Moldable Analysis with Glamorous Toolkit (Andrei Chiş guest lecturer)

7 (part 2), SMA — Software Modeling and Analysis