J. Daniel Halpern

	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

Coauthor Index

1	Sam Owre	[1] [2]
2	Norman Proctor	[1] [2]
3	William F. Wilson	[1] [2]