CSimpl: A Rely-Guarantee-Based Framework for Verifying Concurrent Programs.

Published in: TACAS (1) (2017)

Keyphrases