| |
| 1999 | ||
|---|---|---|
| 1 | EE | Igor B. Burdonov, Alexander Kossatchev, Alexandre Petrenko, Dmitri Galter: KVEST: Automated Generation of Test Suites from Formal Specifications. World Congress on Formal Methods 1999: 608-621 |
| 1 | Igor B. Burdonov | [1] |
| 2 | Alexander Kossatchev | [1] |
| 3 | Alexandre Petrenko | [1] |