William J. Quirk

Publication Activity (10 Years)

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

Publications

Stuart Kent, T. S. E. Maibaum, William J. Quirk
Formally specifying temporal constraints and error recovery. RE (1993)