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 Wed Jan 22 17:50:06 2025 CET.