2
Publications
46
Citations
2
H-Index
1993
Active since
Tony Beaumont is an author specializing in formal verification, parallel computing, and automated reasoning.
Top concepts
EngineeringFormal MethodsComputer ScienceParallel ComputingAutomated ReasoningFormal VerificationParallel Programming
Publications per year
1993–1993
2
2
Performance of the compiler-based Andorra-I system
Rong Yang, Tony Beaumont, Inês Dutra et al. · 1993 · 26 citations
Rows per page
1–2 of 2