View of Specification and Verification of Concurrent Programs

Return to Article Details Specification and Verification of Concurrent Programs Download Download PDF