Steven Trac is an author at University of Miami specializing in engineering, computer science, and software engineering.
Top concepts
EngineeringComputer ScienceFormal MethodsProgram AnalysisSoftware AnalysisFormal VerificationComputer EngineeringSoftware EngineeringData ScienceVerification
Publications per year
2007–2010
4
4
Large theory reasoning with SUMO at CASC
Adam Pease, Geoff Sutcliffe, Nick Siegel et al. · AI Communications · 2010 · 30 citations
Integration of the TPTPWorld into SigmaKEE
Steven Trac, Geoff Sutcliffe, Adam Pease · 2008 · 13 citations
Rows per page
1–4 of 4