DMCA

Views: Compositional Reasoning for Concurrent Programs

by Thomas Dinsdale-young , Lars Birkedal , Matthew Parkinson , Hongseok Yang
Citations:33 - 7 self