Becker, Jan Steffen, OFFIS Institute for Information Technology, Germany
-
Volume 76: Automated Verification of Critical Systems 2018 (AVoCS 2018) - Articles
Analyzing Consistency of Formal Requirements
Abstract PDF
Hosted By Universitätsbibliothek TU Berlin.