NUSL: An Executable Specification Language Based on Data Abstraction.

XinJie Jiang, YongSen Xu

Browse the full FM paper archive.