Verification of Sequential and Concurrent Programs (Texts in Computer Science)

8.45 MiB

Download ready in 3s