Please use this identifier to cite or link to this item:
|Title:||Model checking Algol-like languages using game semantics|
|Source:||Ong, C.-H.L. (2002). Model checking Algol-like languages using game semantics. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2556 LNCS : 33-36. ScholarBank@NUS Repository.|
|Abstract:||We survey a recent development of Game Semantics in a new, algorithmic direction, with a view to applications in computer-assisted verification and program analysis. © Springer-Verlag Berlin Heidelberg 2002.|
|Source Title:||Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|
|Appears in Collections:||Staff Publications|
Show full item record
Files in This Item:
There are no files associated with this item.
checked on Jan 14, 2018
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.