Algorithmic Game Semantics and Component−Based Verification
S. Abramsky‚ D. R. Ghica‚ L. Ong and A. Murawski
Details
| Book Title |
Proceedings of SAVBCS 2003: Specification and Verification of Component−Based Systems‚ Workshop at ESEC/FASE 2003 |
| Note |
published as Technical Report 03−11‚ Department of Computer Science‚ Iowa State University |
| Pages |
66−74 |
| Year |
2003 |
Links
Related pages
|
People |