scientific article; zbMATH DE number 1485367

MaRDI QIDQ4494533zbMATH OpenFDO

Authors Georg Erwin Thaller

Publication date 7 August 2000

zbMATH Keywords

software testverification

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Cited in

(15)

• scientific article; zbMATH DE number 986420 (Why is no real title available?)
• scientific article; zbMATH DE number 994144 (Why is no real title available?)
• scientific article; zbMATH DE number 1800888 (Why is no real title available?)
• scientific article; zbMATH DE number 42813 (Why is no real title available?)
• scientific article; zbMATH DE number 47136 (Why is no real title available?)
• scientific article; zbMATH DE number 49815 (Why is no real title available?)
• scientific article; zbMATH DE number 108415 (Why is no real title available?)
• scientific article; zbMATH DE number 108425 (Why is no real title available?)
• scientific article; zbMATH DE number 548915 (Why is no real title available?)
• scientific article; zbMATH DE number 1977244 (Why is no real title available?)
• scientific article; zbMATH DE number 1979578 (Why is no real title available?)
• scientific article; zbMATH DE number 2020410 (Why is no real title available?)
• scientific article; zbMATH DE number 1737294 (Why is no real title available?)
• scientific article; zbMATH DE number 928970 (Why is no real title available?)
• Computer Aided Verification

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