"FM 2006: Formal Methods, 14th International Symposium on Formal Methods, ..."

Jayadev Misra, Tobias Nipkow, Emil Sekerinski (2006)
a service of Schloss Dagstuhl - Leibniz Center for Informatics