Slides from lectures 11 and 12, and the two supplements: Petri Nets and Algebraic Specifications are now available.
Foundations of Software Engineering
Slides from lectures 11 and 12, and the two supplements: Petri Nets and Algebraic Specifications are now available.