Systèmes de transitions et model checking

logo Paris13

Systèmes de transitions et model checking

En bref

Crédits ECTS 3

Contact(s)

Composante