"Formal Approaches to Software Testing, Third International Workshop on ..."

Alexandre Petrenko, Andreas Ulrich (2004)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics