Statistics
Publications
4
Citations
106
H-Index
4
Active since
2002
Affiliations
Durham University(Current)
Tim Bull is an author at Durham University specializing in computer science, computing, and software engineering.
Publications per year
2002–2003
4
4
An introduction to the WSL program transformer
Tim Bull · 2002 · 30 citations
Bylands: reverse engineering safety-critical systems
Tim Bull, Eddy Younger, Keith Bennett et al. · 2002 · 23 citations
Reverse engineering concurrent programs using formal modelling and analysis
Eddy Younger, Ziqing Luo, Keith Bennett et al. · 2002 · 12 citations
1–4 of 4