Software testing, analysis, and verification (1989) Proceedings of the ACM SIGSOFT '89 3rd Symposium Key West, Florida, December 13-15, 1989 Vol.14, No.8, December 1989 - Kemmerer, Richard A. (Association for Computing Machinery, 1989)
περιέχει βιβλιογραφία