DOI,IST REx ID,Research Group,Title of publication
10.2168/LMCS-11(1:20)2015,1832,ToHe,Aspect-oriented linearizability proofs