Download - Formal Methods in SE Lecture 20. Agenda 2 Relations in Z Specification Formal Methods in SE.