Statistics
Publications
1
Citations
33
H-Index
1
Active since
2007
Affiliations
University of British Columbia(Current)
Clint Morgan is an author at University of British Columbia specializing in formal verification, program analysis, and engineering.
Publications per year
2007–2007
1
1
A static aspect language for checking design rules
Clint Morgan, Kris De Volder, Eric Wohlstadter · 2007 · 33 citations
1–1 of 1