scientific article

zbMATH Open1374.68117MaRDI QIDQ2979883

Nikolay V. Shilov

Publication date: 26 April 2017

Full work available at URL: http://bulletin.iis.nsk.su/files/article/libverbulletin15.pdf

Title of this publication is not available (Why is that?)

zbMATH Keywords

formal specificationformal program verificationmathematical functionstandard library

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2979883)