Concepedia

Wolfgang Polak

WP

Statistics

Publications

4

Citations

169

H-Index

4

Active since

1979

Affiliations

Stanford University(Current)

Wolfgang Polak is an author at Stanford University specializing in automated reasoning, formal methods, and formal verification.

Top concepts

EngineeringVerificationFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisAutomated ReasoningFormal VerificationSoftware VerificationSoftware Testing

Publications per year

1979–1990

4

Publications

4

1–4 of 4