scientific article; zbMATH DE number 2033523

MaRDI QIDQ4444734zbMATH OpenFDO

Authors Günther Zoffmann, Manfred Gingerl, Christian Reumann, Gerald Sonneck

Publication date 27 January 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2187/21870166.htm

Mathematics Subject Classification ID

Theory of software (68N99) Computing methodologies and applications (68U99)

Recommendations

• Software Verification and Analysis
• Verified squared, does critical software deserve verified tools?
• scientific article; zbMATH DE number 480221
• scientific article; zbMATH DE number 1670805
• Early verification and validation of mission critical systems

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