Robert J. Shaw

Publication Activity (10 Years)

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

Publications

Robert J. Shaw, Ronald A. Olsson
Addressing the Shortcomings of Traditional Formal Reasoning Methods for Concurrent Programs: New Tools and Techniques for Source Code Correctness. Inf. Sci. 106 (3-4) (1998)
Robert J. Shaw, Ronald A. Olsson
Addressing the Shortcomings of Traditional Formal Reasoning Methods for Concurrent Programs: New Tools and Techniques for Source Code Correctnes. PDPTA (1996)
Cui Zhang, Robert J. Shaw, Ronald A. Olsson, Karl N. Levitt, Myla Archer, Mark R. Heckman, Gregory D. Benson
Mechanizing a Programming Logic for the Concurrent Programming Language microSR in HOL. HUG (1993)