Proposal to Improve the Requirements Process through Formal Verification using Deductive Approach.

Radoslaw Klimek

Browse the full ENASE paper archive.