Login / Signup

Formal Foundation for Specification and Verification.

Leslie LamportFred B. Schneider
Published in: Advanced Course: Distributed Systems (1984)
Keyphrases