Visning af: Specification and Verification of Concurrent Programs

Tilbage til artikeldetaljer Specification and Verification of Concurrent Programs Download Download PDF