Pascale Thévenod-Fosse;Christine Mazuet;Yves Crouzet
-;-;-
Lutess: a specification-driven testing environment for synchronous software
Proceedings of the 21st international conference on Software engineering