![]() | ![]() |
| 1992 | ||
|---|---|---|
| 1 | Sandra Rawlings Murphy, Stephen Crocker, Timothy Redmond: Unwinding and the LOCK Proof Referees Study. CSFW 1992: 9-21 | |
| 1 | Sandra Rawlings Murphy | [1] |
| 2 | Timothy Redmond | [1] |
Data released under the ODC-BY 1.0 license — See also our legal information page