Applying Game Semantics to Compositional Software Modelling and verification
S. Abramsky‚ D. Ghica‚ L. Ong and A. Murawski
Details
| Book 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
Related pages
|
People |