"Formal Methods: Mathematics, Computer Science, or Software Engineering?"

Guy Tremblay (2000)
a service of Schloss Dagstuhl - Leibniz Center for Informatics