dblp.uni-trier.dewww.uni-trier.de

William F. Wilson

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

1J. Daniel Halpern [1] [2]
2Sam Owre [1] [2]
3Norman Proctor [1] [2]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)