P. Ward

Publication Activity (10 Years)

Years Active: 1978-1996
Publications (10 Years): 0

Publications

G. Krasovec, N. Shankar, P. Ward
Integration of formal verification with real-time design. WORDS (1996)
Gregor von Bochmann, P. Ward
Compiler Writing System for Attribute Grammars. Comput. J. 21 (2) (1978)