A. Galves;M. -C. Gaudel
-;-
Checking models, proving programs, and testing systems
TAP'11 Proceedings of the 5th international conference on Tests and proofs