L11: Equivalence checking between models

Félév: 
2017. ősz