Ales Bizjak, Daniel Gratzer, Robbert Krebbers, Lars Birkedal. Iron: managing obligations in higher-order concurrent separation logic. Proceedings of the ACM on Programming Languages, 3, 2019. [doi]
No references recorded for this publication.
No citations of this publication recorded.