Generating MSCs from an Integrated Formal Specification Language.

Jin Song Dong, Shengchao Qin, Jun Sun

Browse the full IFM paper archive.