DMCA

Action Refinement as an Implementation Relation (1997)

by Arend Rensink , Roberto Gorrieri
Venue:In Bidoit & Dauchet, editors: Proceedings TAPSOFT '97: Theory and Practice of Software Development, LNCS 1214
Citations:3 - 1 self