author : Shaoying Liu

Short works

• Verifying Consistency and Validity of Formal Specifications by Testing. 1999. (In FM'99 volume 1 )