L11: Equivalence checking between models

Semester: 
2017. ősz