Yeting Ge

From MaRDI portal
Person:1037400

Available identifiers

zbMath Open ge.yetingMaRDI QIDQ1037400

List of research outcomes





PublicationDate of PublicationType
Cooperating theorem provers: a case study combining HOL-Light and CVC Lite2013-09-26Paper
Solving quantified verification conditions using satisfiability modulo theories2009-11-16Paper
Complete Instantiation for Quantified Formulas in Satisfiabiliby Modulo Theories2009-06-30Paper
Solving Quantified Verification Conditions Using Satisfiability Modulo Theories2009-03-06Paper

Research outcomes over time

This page was built for person: Yeting Ge

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:1037400&oldid=5855981"
Powered by MediaWiki