| |
| 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 | |
| 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] |