scientific article; zbMATH DE number 3972156

MaRDI QIDQ3738539zbMATH OpenFDO

Authors Michael Metcalf

Publication date 1986

zbMATH Keywords

program designprogram efficiencyprogram testing and documentationprogramming language

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) General topics in the theory of software (68N01) Specification and verification (program logics, model checking, etc.) (68Q60)

Cited in

(11)

• scientific article; zbMATH DE number 4016164 (Why is no real title available?)
• scientific article; zbMATH DE number 3858381 (Why is no real title available?)
• scientific article; zbMATH DE number 3907738 (Why is no real title available?)
• scientific article; zbMATH DE number 3930311 (Why is no real title available?)
• scientific article; zbMATH DE number 4039248 (Why is no real title available?)
• scientific article; zbMATH DE number 43179 (Why is no real title available?)
• scientific article; zbMATH DE number 43924 (Why is no real title available?)
• scientific article; zbMATH DE number 42102 (Why is no real title available?)
• scientific article; zbMATH DE number 53103 (Why is no real title available?)
• scientific article; zbMATH DE number 107605 (Why is no real title available?)
• scientific article; zbMATH DE number 580678 (Why is no real title available?)

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 Q3738539)