Concepedia

Howard Haughton

HH

Statistics

Publications

3

Citations

42

H-Index

3

Active since

1991

Affiliations

Imperial College London(Current)

Howard Haughton is an author at Imperial College London specializing in automated reasoning, formal methods, and formal verification.

Top concepts

Publications per year

1991–2021

3

Publications

3

Alleviating debt distress and advancing the sustainable development goals

Howard Haughton, Jodie Keane · Sustainable Development · 2021 · 21 citations · Full text

, , +23

Formal development in B abstract machine notation

Kevin Lano, Howard Haughton · Information and Software Technology · 1995 · 11 citations

, , +6

An Algebraic Semantics for the Specification Language Z

Kevin Lano, Howard Haughton · Algebraic Methodology and Software Technology · 1991 · 10 citations

, , +8

1–3 of 3