Back to Results
First PageMeta Content
Software engineering / Software / Computing / Parallel computing / Object-oriented programming languages / Object-oriented programming / Concurrent programming languages / Concurrent computing / Edsger W. Dijkstra / SCOOP / Concurrency / EiffelStudio


Towards Practical Graph-Based Verification for an Object-Oriented Concurrency Model Alexander Heußner University of Bamberg, Germany Christopher M. Poskitt Claudio Corrodi
Add to Reading List

Document Date: 2015-04-11 20:15:08

Open Document

File Size: 1,38 MB

Share Result on Facebook