scientific article; zbMATH DE number 1104402

MaRDI QIDQ4370288zbMATH OpenFDO

Authors Ken Robinson

Publication date 1 April 1998

zbMATH Keywords

B-methodrandom access date type

Mathematics Subject Classification ID

Data structures (68P05) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 3900135
• scientific article; zbMATH DE number 4128365
• scientific article; zbMATH DE number 3936498
• Algorithmic specifications: a constructive specification method for abstract data types
• scientific article; zbMATH DE number 47959

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