Login / Signup
Zehui Yan
Publication Activity (10 Years)
Years Active: 2020-2020
Publications (10 Years): 1
Top Topics
Multiresolution
Formal Models
Autoregressive
Computing Power
Top Venues
CSAE
</>
Publications
</>
Zheng Yang
,
Hang Lei
,
Weizhong Qian
,
Zehui Yan
,
Weiru Zeng
A Resolution for Scalability Problem of Record Datatype Based Formal Memory Models in Coq.
CSAE
(2020)