1
Publications
44
Citations
1
H-Index
2010
Active since
Affiliations
Victoria University of Wellington(Current)
Matthew Esquivel is an author at Victoria University of Wellington specializing in formal verification, software engineering, and program analysis.
Top concepts
CompilersEngineeringVerificationFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisFormal VerificationSoftware EngineeringProgramming Languages
Publications per year
2010–2010
1
1
Shane Markstrum, Daniel Marino, Matthew Esquivel et al. · ACM Transactions on Programming Languages and Systems · 2010 · 44 citations · Full text
Rows per page
1–1 of 1