1
Publications
11
Citations
1
H-Index
1974
Active since
James M. Boyle is an author specializing in program analysis, automated reasoning, and formal methods.
Top concepts
EngineeringFormal MethodsSoftware DesignComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisAutomated ReasoningSoftware Engineering
Publications per year
1974–1974
1
1
Rows per page
1–1 of 1