"Automated Conversion from a Requirements Document to an Executable Formal ..."

Beum-Seuk Lee (2001)
a service of Schloss Dagstuhl - Leibniz Center for Informatics