scientific article; zbMATH DE number 1693465

MaRDI QIDQ2764028zbMATH OpenFDO

Authors Bjørn Egil Hansen, Henrik Fredholm

Publication date 22 January 2002

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2022/20220207

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Computing methodologies and applications (68U99)

Recommendations

• scientific article; zbMATH DE number 1693457
• scientific article; zbMATH DE number 1693547
• Mathematics of Program Construction
• A specification logic for exceptions and beyond
• A general method of low-level exception reporting and handling using system predicate classes

Cited in

(6)

• scientific article; zbMATH DE number 1693457 (Why is no real title available?)
• scientific article; zbMATH DE number 1693464 (Why is no real title available?)
• scientific article; zbMATH DE number 1693547 (Why is no real title available?)
• scientific article; zbMATH DE number 2030024 (Why is no real title available?)
• Parallel Processing and Applied Mathematics
• A general method of low-level exception reporting and handling using system predicate classes

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