Data-Abstraction Refinement: a Game Semantic Approach

A Bakewell, A Dimovski, Dan Ghica, R Lazić

Research output: Contribution to journalArticle

Original languageEnglish
Pages (from-to)373-389
Number of pages17
JournalInternational Journal on Software Tools for Technology Transfer
Volume12
Issue number5
DOIs
Publication statusPublished - 1 Sept 2010

Cite this