1
Publications
10
Citations
1
H-Index
1987
Active since
J. M. Boyle is an author specializing in computer science, computer architecture, and systems engineering.
Top concepts
EngineeringFormal MethodsSoftware DesignSystem SoftwareComputer ScienceProgram AnalysisSoftware AnalysisParallel ComputingAutomated ReasoningFormal Verification
Publications per year
1987–1987
1
1
Rows per page
1–1 of 1