Login / Signup

Data-abstraction refinement: a game semantic approach.

Adam BakewellAleksandar S. DimovskiDan R. GhicaRanko Lazic
Published in: Int. J. Softw. Tools Technol. Transf. (2010)
Keyphrases