Zhaowei Xu

From MaRDI portal
Person:896914

Available identifiers

zbMath Open xu.zhaoweiMaRDI QIDQ896914

List of research outcomes





PublicationDate of PublicationType
https://portal.mardi4nfdi.de/entity/Q61870712024-02-05Paper
Satisfiability of compositional separation logic with tree predicates and data constraints2017-09-22Paper
Linear templates of ACTL formulas with an application to SAT-based verification2017-08-16Paper
Completeness of Hoare Logic Relative to the Standard Model2017-04-04Paper
Completeness of Hoare logic with inputs over the standard model2015-12-15Paper

Research outcomes over time

This page was built for person: Zhaowei Xu

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