View of Formal methods of software verification: modern approaches and challenges

Return to Issue Details Formal methods of software verification: modern approaches and challenges Download Download PDF