formal methods and testing,an outcome of the fortest network: revised selected papers

robert m. (edt) hierons · springer-verlag new york inc