scientific article; zbMATH DE number 2065277

zbMATH Open1110.68354MaRDI QIDQ4459902FDOQ4459902

László Kozma

Publication date: 18 May 2004

Title of this publication is not available (Why is that?)

Mathematics Subject Classification ID

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

Cited In (5)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Applying abstraction and formal specification in numerical software design
• Title not available (Why is that?)
• Title not available (Why is that?)

   Recommendations

• Specification methodology: An integrated relational approach 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Applying abstraction and formal specification in numerical software design 👍 👎
• Title not available (Why is that?) 👍 👎

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)