Concepedia

William Clinger

WC

25

Publications

1.5K

Citations

16

H-Index

1976

Active since

Affiliations

Northeastern University(Current)

Universidad del Noreste

University of Oregon

William Clinger is an author at Northeastern University specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsComputer EngineeringProgram AnalysisSoftware AnalysisFormal VerificationComputational ComplexityParallel ComputingAutomated Reasoning

Publications per year

1976–2006

25

Publications

25

Rows per page

1–5 of 25