Sciweavers

STTT
2010

Data-abstraction refinement: a game semantic approach

13 years 5 months ago
Data-abstraction refinement: a game semantic approach
traction Refinement: A Game Semantic Approach Adam Bakewell2 , Aleksandar Dimovski1 , Dan R. Ghica2 , Ranko Lazi
Adam Bakewell, Aleksandar Dimovski, Dan R. Ghica,
Added 21 May 2011
Updated 21 May 2011
Type Journal
Year 2010
Where STTT
Authors Adam Bakewell, Aleksandar Dimovski, Dan R. Ghica, Ranko Lazic
Comments (0)