The MODUS Approach to Formal Verification

Business Systems Research - Germany
doi 10.2478/bsrj-2014-0002