Dmitri Galter

According to our database, Dmitri Galter authored at least 1 paper in 1999.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

1999

KVEST: Automated Generation of Test Suites from Formal Specifications.

Igor B. Burdonov, Alexander S. Kossatchev, Alexander K. Petrenko, Dmitri Galter

Proceedings of the FM'99 - Formal Methods, 1999