Article citationsMore>>

Gaudel, M.-C. (2011) Checking Models, Proving Programs, and Testing Systems. In: Gogolla, M. and Wolff, B., Eds., Tests and Proofs, Springer, Berlin, 1-13.
http://dx.doi.org/10.1007/978-3-642-21768-5_1

has been cited by the following article: