CSimpl

swMATH22725MaRDI QIDQ34516FDOQ34516

Author name not available (Why is that?)

Cited In (2)

• CSimpl: A Rely-Guarantee-Based Framework for Verifying Concurrent Programs
• Proof tactics for assertions in separation logic

This page was built for software: CSimpl