scientific article; zbMATH DE number 1107134

zbMath0889.68014MaRDI QIDQ4373039

D. J. Andrews

Publication date: 21 January 1998

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

software development

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) General topics in the theory of software (68N01)

Related Items

Modular specification of frame properties in JML