RealSpec: an Executable Specification Language for Modeling Resources.

Amir A. Khwaja, Joseph E. Urban

Browse the full SEKE paper archive.