M. Newey is an author at Syracuse University specializing in computer science, engineering, and automated reasoning.
Top concepts
EngineeringComputer ScienceFormal MethodsAutomated ReasoningFormal VerificationCompilersSimulationData ScienceVerificationSoftware Design
Publications per year
1972–1978
3
3
A Metalanguage for interactive proof in LCF
Mike Gordon, R. Milner, L. Morris et al. · 1978 · 127 citations · Full text
Rows per page
1–3 of 3