Samuel T. Chanson;B. P. Lee;N. J. Parakh;Hua-Xin Zeng
-;-;-;-
Testing in the distributed test architecture
Formal methods and testing