scientific article; zbMATH DE number 1485367

zbMATH Open0952.68037MaRDI QIDQ4494533FDOQ4494533

Authors: Georg Erwin Thaller 

Publication date: 7 August 2000

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

Recommendations

• scientific article; zbMATH DE number 1737294
• scientific article; zbMATH DE number 914542
• scientific article; zbMATH DE number 1977244
• scientific article; zbMATH DE number 107743
• scientific article; zbMATH DE number 1979578
• scientific article; zbMATH DE number 1800888
• scientific article; zbMATH DE number 42813

zbMATH Keywords

verificationsoftware test

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 (13)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Computer Aided Verification
• Title not available (Why is that?)
• 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 Q4494533)