Bruce Wieand

Publication Activity (10 Years)

Years Active: 1991-1994
Publications (10 Years): 0

Publications

William E. Howden, Bruce Wieand
QDA-A Method for Systematic Informal Program Analysis. IEEE Trans. Software Eng. 20 (6) (1994)
William E. Howden, David Nesbitt, Cheron Vail, Bruce Wieand
Verification of complex systems using incremental operational specifications. Inf. Sci. (1991)