Statistics
Publications
21
Citations
884
H-Index
16
Active since
1979
Affiliations
University of Toronto(Current)
Eric C. R. Hehner is an author at University of Toronto specializing in computer science, computing, and formal methods.
Publications per year
1979–2024
21
21
Programming from specifications
Eric C. R. Hehner · Science of Computer Programming · 1991 · 244 citations
Predicative programming Part I
Eric C. R. Hehner · Communications of the ACM · 1984 · 156 citations · Full text
Roadmap for enhanced languages and methods to aid verification
Gary T. Leavens, Jean-Raymond Abrial, Don Batory et al. · 2006 · 69 citations
1–5 of 21