"The echo approach to formal verification."

Xiang Yin (2006)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics