Fu-qiang Zhu

Publication Activity (10 Years)

Years Active: 2012-2012
Publications (10 Years): 0

Top Topics

Artifact Centric

Linear Time Temporal Logic

Automated Verification

Top Venues

Publications

Wei Zhang, Wenke Ma, Huiling Shi, Fu-qiang Zhu
Model Checking and Verification of the Internet Payment System with SPIN. J. Softw. 7 (9) (2012)