Robert J. Shaw

	1998
3		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): 259-275 (1998)
	1996
2		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: 1525-1548
	1993
1		Cui Zhang, Robert J. Shaw, Ronald A. Olsson, Karl N. Levitt, Myla Archer, Mark Heckman, Gregory D. Benson: Mechanizing a Programming Logic for the Concurrent Programming Language microSR in HOL. HUG 1993: 29-42

Coauthor Index

1	Myla Archer	[1]
2	Gregory D. Benson	[1]
3	Mark Heckman	[1]
4	Karl N. Levitt	[1]
5	Ronald A. Olsson	[1] [2] [3]
6	Cui Zhang	[1]