HighSpec: a tool for building and checking OZTA models.

Jin Song Dong, Ping Hao, Xian Zhang, Shengchao Qin

Browse the full ICSE paper archive.