swMATH22725MaRDI QIDQ34516FDOQ34516
Author name not available (Why is that?)
Official website: https://www.springerprofessional.de/csimpl-a-rely-guarantee-based-framework-for-verifying-concurrent/12188680
Cited In (5)
This page was built for software: CSimpl
