41
Publications
1.6K
Citations
22
H-Index
2007
Active since
Matthew L. Bolton is an author at University at Buffalo, State University of New York specializing in engineering, systems engineering, and verification.
Top concepts
EngineeringSystems EngineeringAutomationVerificationComputer ScienceHuman-computer InteractionAutomated ReasoningFormal VerificationFormal MethodsReliability
Publications per year
2007–2023
41
41
Rows per page
1–5 of 41