| |
| 1987 | ||
|---|---|---|
| 2 | J. Daniel Halpern, Sam Owre, Norman Proctor, William F. Wilson: Muse - A Computer Assisted Verification System. IEEE Trans. Software Eng. 13(2): 151-156 (1987) | |
| 1986 | ||
| 1 | J. Daniel Halpern, Sam Owre, Norman Proctor, William F. Wilson: Muse : A Computer Assisted Verification System. IEEE Symposium on Security and Privacy 1986: 25-33 | |
| 1 | J. Daniel Halpern | [1] [2] |
| 2 | Sam Owre | [1] [2] |
| 3 | Norman Proctor | [1] [2] |