Showing 1 - 1 results of 1 for search 'Ricky Wayne Butler', query time: 0.02s
Refine Results
-
1
Formalization of the Integral Calculus in the PVS Theorem Prover by Ricky Wayne Butler
Published 2009-04-01
Article