Login / Signup
Michael K. Zhang
Publication Activity (10 Years)
Years Active: 2022-2022
Publications (10 Years): 1
Top Topics
Relational Model
Information Extraction
Decision Trees
Object Oriented Databases
Top Venues
APLAS
</>
Publications
</>
Robert Dickerson
,
Qianchuan Ye
,
Michael K. Zhang
,
Benjamin Delaware
RHLE: Modular Deductive Verification of Relational ∀ ∃ Properties.
APLAS
(2022)