scientific article; zbMATH DE number 2065277

MaRDI QIDQ4459902zbMATH OpenFDO

Authors László Kozma

Publication date 18 May 2004

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Specification methodology: An integrated relational approach
• scientific article; zbMATH DE number 1481757
• scientific article; zbMATH DE number 1019598
• Applying abstraction and formal specification in numerical software design
• scientific article; zbMATH DE number 1951538

Cited in

(5)

• scientific article; zbMATH DE number 1951538 (Why is no real title available?)
• scientific article; zbMATH DE number 2079623 (Why is no real title available?)
• Applying abstraction and formal specification in numerical software design
• scientific article; zbMATH DE number 2087383 (Why is no real title available?)
• scientific article; zbMATH DE number 5375004 (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 Q4459902)