A Specification's Realm: Characterizing the Knowledge Required for Executing a Given Algorithm Specification.

Assaf Marron, David Harel

Browse the full MODELSWARD paper archive.