Refreshing results…
Compositional Non-Interference for Fine-Grained Concurrent Programs
Download from zenodo.orgBicategories in Univalent Foundations
Download from doi.orgSemi-automated Reasoning About Non-determinism in C Expressions
Download from zenodo.orgMissing publications? Search for publications with a matching author name.