4
Publications
353
Citations
4
H-Index
2006
Active since
Affiliations
Greg Brunet is an author at University of Toronto specializing in formal methods, automated reasoning, and systems engineering.
Top concepts
EngineeringFormal MethodsAutomated ReasoningSystems EngineeringDesignData ModelingSoftware DesignSoftware AnalysisFormal VerificationSoftware Engineering
Publications per year
2006–2012
4
4
Rows per page
1–4 of 4