S. Batley

Publication Activity (10 Years)

Years Active: 1990-1990
Publications (10 Years): 0

Publications

Clazien D. Wezeman, S. Batley, J. Lynch
Formal Methods to Assist Conformance Testing. A Case Study. FORTE (1990)