Back to Search
Start Over
Certified concurrent abstraction layers.
- Source :
- ACM / SIGPLAN Notices; Apr2018, Vol. 53 Issue 4, p646-661, 16p
- Publication Year :
- 2018
Details
- Language :
- English
- ISSN :
- 03621340
- Volume :
- 53
- Issue :
- 4
- Database :
- Complementary Index
- Journal :
- ACM / SIGPLAN Notices
- Publication Type :
- Academic Journal
- Accession number :
- 134585603
- Full Text :
- https://doi.org/10.1145/3296979.3192381