William McCune

1. OTTER 3.3 Reference Manual
   2003/10/28 by William McCune, McCune, William · 2 citations
   Computer Science · #F.4.1 #FOS: Computer and information sciences #Formal Methods in Verification #Logic, programming, and type systems #Mathematical Software (cs.MS) #Model-Driven Software Engineering Techniques #Symbolic Computation (cs.SC) #cs.MS #cs.SC
2. Mace4 Reference Manual and Guide
   2003/10/28 by William McCune, McCune, William · 1 citation
   Computer Science · #F.4.1 #FOS: Computer and information sciences #Mathematical Software (cs.MS) #Symbolic Computation (cs.SC) #cs.MS #cs.SC