The overlanguage method for program specification

zbMATH Open0833.68077MaRDI QIDQ1900221FDOQ1900221

Authors: V. N. Agafonov 

Publication date: 2 November 1995

Published in: Programming and Computer Software (Search for Journal in Brave)

Recommendations

• scientific article; zbMATH DE number 3890710
• scientific article; zbMATH DE number 1822431
• scientific article; zbMATH DE number 1498427
• scientific article; zbMATH DE number 44613
• Operational ontological approach to formal programming language specification

zbMATH Keywords

program-specification method

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication: The overlanguage method for program specification

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