Laurence C. McGinn is an author at Franklin Institute specializing in engineering, formal verification, and automated reasoning.
Top concepts
EngineeringStatisticsLogic DesignDigital DesignFormal MethodsComputer ScienceBehavioral ScienceNumerical AnalysisAutomated ReasoningFormal Verification
Publications per year
1957–1959
4
4
Logical design of digital computers
Laurence C. McGinn · Journal of the Franklin Institute · 1958 · 57 citations
Laurence C. McGinn · Journal of the Franklin Institute · 1959 · 46 citations
Laurence C. McGinn · Journal of the Franklin Institute · 1957 · 17 citations
Rows per page
1–4 of 4