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:
Related Articles:
-
Abdul Azim Abdul Ghani
-
Minzhi Wei, Yujian Gan, Shengqiang Tang
-
Trinh Cong Duy, Nguyen Thanh Binh, Ioannis Parissis
-
Pietro Milillo, Tommaso Maggipinto, Pier Francesco Biagi
-
María Fernanda Gracia-Escobar, Roberto Millán-Núñez, Enrique Valenzuela-Espinoza, Adriana González-Silvera, Eduardo Santamaría-del-Ángel