User menu

Model Checking for the Masses

Bibliographic reference Cordy, Maxime. Model Checking for the Masses.  Prom. : Heymans, Patrick ; Schobbens, Pierre-Yves
Permanent URL http://hdl.handle.net/2078.2/152729