Concepedia

B. L. Clark

BL

Statistics

Publications

5

Citations

237

H-Index

5

Active since

1971

Affiliations

University of Toronto(Current)

Clarkson University

B. L. Clark is an author at University of Toronto specializing in formal methods, engineering, and system software.

Top concepts

EngineeringFormal MethodsSoftware DesignSystem SoftwareComputer ScienceProgram AnalysisOperating SystemsSoftware AnalysisFormal VerificationSoftware Engineering

Publications per year

1971–2004

5

Publications

5

1–5 of 5