×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [spec la]
Home >
spec la
Formalisms and Verification for Transactional Memories Vasu Singh EPFL Switzerland.
216 views