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 Issued2012 (1)Has File(s)Yes (1)