Randall, David Lawrence

Combined from CaltechAUTHORS

• Randall, David Lawrence (2003) Formal Methods in the Foundations of Science; 10.7907/303jv-1h913