author : Salimeh Behnia

Short works

• Test Criteria Definition for B Models. 1999. (In FM'99 volume 1 )