From Extraction of Logical Specifications to Deduction-Based Formal Verification of Requirements Models.

Radoslaw Klimek

Browse the full SEFM paper archive.