Statistics
Publications
1
Citations
43
H-Index
1
Active since
1993
Affiliations
University of Cambridge(Current)
Tom Blackie is an author at University of Cambridge specializing in abstract interpretation, mathematics, and formal methods.
Publications per year
1993–1993
1
1
The active badge system (abstract)
Andy Hopper, Andy Harter, Tom Blackie · 1993 · 43 citations
1–1 of 1