Publication:5196885
From MaRDI portal
DOI10.13328/j.cnki.jos.005652zbMath1438.68030MaRDI QIDQ5196885
Ji Wang, Zhi-Ming Liu, Xinyu Feng, Naijun Zhan
Publication date: 20 September 2019
formal verification; formal specification; formal method; software development; programming methodology
68Q60: Specification and verification (program logics, model checking, etc.)
68-02: Research exposition (monographs, survey articles) pertaining to computer science
68N01: General topics in the theory of software
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)