"Integrated Formal Methods, Proceedings of the 1st International Conference ..."

Keijiro Araki, Andy Galloway, Kenji Taguchi (1999)
a service of Schloss Dagstuhl - Leibniz Center for Informatics