Specifying Software

DOI10.1017/CBO9781139164900zbMATH Open1006.68035MaRDI QIDQ4328792FDOQ4328792

Robert D. Tennent

Publication date: 29 April 2002

zbMATH Keywords

software components

Mathematics Subject Classification ID

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

Cited In (3)

• Verification conditions for source-level imperative programs
• Title not available (Why is that?)
• Title not available (Why is that?)

This page was built for publication: Specifying Software

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