Verifying Custom Synchronisation Constructs Using Higher-Order Separation Logic

Michael David Dodds, Suresh Jagannathan, Matthew J. Parkinson, Kasper Svendsen, Lars Birkedal

Research output: Contribution to journal › Article › peer-review

Search results