Number of items: 1.
Article
Chakraborty, Soham and Henzinger, Thomas A. and Sezgin, Ali and Vafeiadis, Viktor
(2015)
Aspect-oriented linearizability proofs.
Logical Methods in Computer Science, 11 (1).
This list was generated on Thu Apr 18 06:34:54 2024 CEST.