Jack May is an author at Columbia University specializing in automated reasoning, software engineering, and engineering.
Top concepts
EngineeringFormal MethodsSoftware DesignComputer ScienceProgram AnalysisSoftware AnalysisAutomated ReasoningSoftware EngineeringCompilersProblem Solving
Publications per year
1964–1965
2
2
An experiment in a user-oriented computer system
Melvin Klerer, Jack May · Communications of the ACM · 1964 · 26 citations · Full text
Melvin Klerer, Jack May · 1965 · 22 citations · Full text
Mathematical Programming, Standard Flexowriter, Engineering +15
Rows per page
1–2 of 2