Specification and Verification of Concurrent Systems (facs)

Specification and Verification of Concurrent Systems

Editions

Aliases