View of Abstract Models and Cognitive Mismatch in Formal Verification

Return to Article Details Abstract Models and Cognitive Mismatch in Formal Verification Download Download PDF