scientific article; zbMATH DE number 3648171

MaRDI QIDQ3206358zbMATH OpenFDO

Authors Susan Owicki

Publication date 1979

zbMATH Keywords

verificationspecificationmodular systemscomputer communication networknetwork mail system

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) Theory of software (68N99)

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