Login / Signup

Practical Abstractions for Automated Verification of Message Passing Concurrency.

Wytse OortwijnMarieke Huisman
Published in: IFM (2019)
Keyphrases