Applying Game Semantics to Compositional Software Modelling and verification
S. Abramsky, D. Ghica, L. Ong and A. Murawski infobook title | TACAS 2004: Tools and Algorithms for the Construction and Analysis of Systems, 10 International Conference |
pages | 421-435 |
publisher | Springer LNCS |
volume | 2988 |
year | 2004 |
links
BibTeX
related pages
|
