Automatic verification of requirement specifications.

Autor: Gi-Hwon Kwon, Cheol-Joo Jeong, Yeon-Dae Chung
Zdroj: Proceedings Intelligent Information Systems IIS'97; 1997, p277-281, 5p
Databáze: Complementary Index
Externí odkaz: