"Classifying Assumptions Made during Requirements Verification of Embedded ..."

Jelena Marincic, Angelika Mader, Roel J. Wieringa (2008)
a service of Schloss Dagstuhl - Leibniz Center for Informatics