3
Publications
273
Citations
3
H-Index
1963
Active since
Affiliations
D.M.R. Park is an author at Massachusetts Institute of Technology specializing in computer science, engineering, and formal verification.
Top concepts
EngineeringComputer ScienceFormal MethodsProgram AnalysisSoftware AnalysisAutomated ReasoningFormal VerificationFormal SpecificationScene AnalysisSoftware Design
Publications per year
1963–1975
3
3
T. Marrill, Alice K. Hartley, Thomas G. Evans et al. · 1963 · 30 citations
On the termination of program schemas
A. J. Kfoury, D.M.R. Park · Information and Control · 1975 · 22 citations
Rows per page
1–3 of 3