Search
Now showing items 1-1 of 1
(Research report / Forskningsrapport, 2012)
Distributed and concurrent object-oriented systems are difficult to analyze due to the complexity of their concurrency, communication, and synchronization mechanisms. Rather than performing analysis at the code level of ...