Algorithmic Game Semantics and Component-Based Verification
S. Abramsky, D. R. Ghica, L. Ong and A. Murawski infobook 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
BibTeX
Download (pdf)
Link
related pages
|
