Jonathan D. Hay is an author at University of Waterloo specializing in software engineering, asynchronous systems, and automated reasoning.
Top concepts
SemanticsEngineeringFormal MethodsComputer ScienceSoftware AnalysisAutomated ReasoningFormal VerificationSystems EngineeringAsynchronous SystemsSoftware Engineering
Publications per year
2000–2000
2
2
Composing features and resolving interactions
Jonathan D. Hay, Joanne M. Atlee · 2000 · 58 citations
Rows per page
1–2 of 2