Data-Abstraction Refinement: a Game Semantic Approach

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

Research output: Contribution to journal › Article

Original language	English
Pages (from-to)	373-389
Number of pages	17
Journal	International Journal on Software Tools for Technology Transfer
Volume	12
Issue number	5
DOIs	https://doi.org/10.1007/s10009-010-0143-0
Publication status	Published - 1 Sept 2010

Access to Document

@article{1e8e6f5bf023475caa68f87fd4c81467,

title = "Data-Abstraction Refinement: a Game Semantic Approach",

author = "A Bakewell and A Dimovski and Dan Ghica and R Lazi{\'c}",

year = "2010",

month = sep,

day = "1",

doi = "10.1007/s10009-010-0143-0",

language = "English",

volume = "12",

pages = "373--389",

journal = "International Journal on Software Tools for Technology Transfer",

publisher = "Springer",

number = "5",

}

TY - JOUR

T1 - Data-Abstraction Refinement: a Game Semantic Approach

AU - Bakewell, A

AU - Dimovski, A

AU - Ghica, Dan

AU - Lazić, R

PY - 2010/9/1

Y1 - 2010/9/1

U2 - 10.1007/s10009-010-0143-0

DO - 10.1007/s10009-010-0143-0

M3 - Article

VL - 12

SP - 373

EP - 389

JO - International Journal on Software Tools for Technology Transfer

JF - International Journal on Software Tools for Technology Transfer

IS - 5

ER -