Investigating the limits of rely/guarantee conditions based on a concurrent garbage collector example (2018)
Attributed to:
STRATA; Layers for Structuring Trustworthy Ambient Systems
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Type: Technical Report
Volume: CS-TR-1521
Issue: CS-TR-1521