3
Publications
615
Citations
3
H-Index
2002
Active since
Affiliations
Mark Seigle is an author at University of Washington specializing in formal verification, compilers, and computer science.
Top concepts
CompilersEngineeringVerificationFormal MethodsSystem SoftwareComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisFormal Verification
Publications per year
2002–2002
3
3
Manuvir Das, Sorin Lerner, Mark Seigle · 2002 · 545 citations
Manuvir Das, Sorin Lerner, Mark Seigle · ACM SIGPLAN Notices · 2002 · 54 citations
Manuvir Das, Sorin Lerner, Mark Seigle · 2002 · 16 citations
Rows per page
1–3 of 3