Concepedia

Werner Dietl

WD

13

Publications

1.6K

Citations

13

H-Index

2003

Active since

Affiliations

University of Washington(Current)

Rensselaer Polytechnic Institute

University of Waterloo

Werner Dietl is an author at University of Washington specializing in engineering, formal methods, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceFormal VerificationProgram AnalysisSoftware AnalysisSoftware DesignComputer EngineeringSoftware EngineeringVerification

Publications per year

2003–2015

13

Publications

13

Rows per page

1–5 of 13