"Practical Issues with Formal Specifications - Lessons Learned from an ..."

Michael Altenhofen, Achim D. Brucker (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics