scientific article; zbMATH DE number 6874812
From MaRDI portal
Publication:4640971
DOI10.13328/j.cnki.jos.005272zbMath1399.68031MaRDI QIDQ4640971
Shengchao Qin, Zhiwu Xu, Zhong Ming
Publication date: 25 May 2018
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)