scientific article; zbMATH DE number 2114138

zbMATH Open1108.68426MaRDI QIDQ4825887

Ling Liu, Huaikou Miao

Publication date: 5 November 2004

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

Mathematics Subject Classification ID

Theory of software (68N99)

Recommendations

• A Semantic Framework for Test Coverage 👍 👎
• Decidability of logic program semantics and applications to testing 👍 👎
• Correct Hardware Design and Verification Methods 👍 👎
• Formal Methods for Components and Objects 👍 👎

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