Metadata only
Author
Raychev, Veselin
Vechev, Martin
Sridharan, Manu
Date
2013Type
- Conference Paper
Publication status
publishedBook title
OOPSLA '13 : Proceedings of the 2013 ACM SIGPLAN international conference on Object oriented programming systems languages & applicationsJournal / series
Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLAPages / Article No.
Publisher
ACMEvent
Subject
Asynchrony; Concurrency; Nondeterminism; Race Detection; WebOrganisational unit
03948 - Vechev, Martin / Vechev, Martin
Notes
.More
Show all metadata