Algorithmic Game Semantics and Component−Based Verification
S. Abramsky‚ D. R. Ghica‚ L. Ong and A. Murawski
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