Original language | English |
---|---|
Publication status | Published - 1 Jan 2005 |
University of Birmingham, School of Computer Science Technical Report CSR-05-5: Data-abstraction refinement: a game semantic approach
AS Dimovski, Dan Ghica, R Lazic
Research output: Working paper/Preprint › Working paper