Deduction-Based Formal Verification of Requirements Models with Automatic Generation of Logical Specifications.

Radoslaw Klimek

Browse the full ENASE paper archive.