"A Formal Method to Identify Deficiencies of Functional Requirements for ..."

Florian Markert, Sebastian Oster (2011)
a service of Schloss Dagstuhl - Leibniz Center for Informatics