Browse
All of DSpaceCommunities & CollectionsBy Issue-DateAuthorsTitlesSubjectsThis CommunityBy Issue-DateAuthorsTitlesSubjects
My Account
Discover
AuthorGrosu, Radu (1)Havelund, Klaus (1)Seyster, Justin (1)Smolka, Scott A (1)Stoller, Scott D (1)Zadok, Erez (1)Subject
Computer science (1)
concurrency, kernel, runtime verification (1)
... View MoreDate Issued
2012 (1)
Has File(s)Yes (1)