author : Igor Burdonov

Short works

• KVEST: Automated Generation of Test Suites from Formal Specifications. 1999. (In FM'99 volume 1 )