1
Publications
55
Citations
1
H-Index
2003
Active since
Affiliations
Memorial University of Newfoundland(Current)
Angela Schuett is an author at Memorial University of Newfoundland specializing in formal verification, engineering, and automated reasoning.
Top concepts
EngineeringVerificationFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisAutomated ReasoningFormal VerificationProgramming Languages
Publications per year
2003–2003
1
1
Kim B. Bruce, Angela Schuett, R. H. van Gent et al. · ACM Transactions on Programming Languages and Systems · 2003 · 55 citations · Full text
Engineering, Subject Reduction Theorem, Generic Programming +14
Rows per page
1–1 of 1