Maibaum, Tom, McMaster University, Canada
-
Volume 66: Automated Verification of Critical Systems 2013 - Articles
From System Requirements to Software Requirements in the Four-Variable Model
Abstract PDF
Hosted By Universitätsbibliothek TU Berlin.