scientific article; zbMATH DE number 4014008

MaRDI QIDQ3026322zbMATH OpenFDO

Authors Nguyen Huu Chien

Publication date 1987

zbMATH Keywords

Correctnessgeneralized path expressionsimplementation of EBEsyntax and semantics of EBE

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 4005581
• scientific article; zbMATH DE number 4005582
• scientific article; zbMATH DE number 1231448
• scientific article; zbMATH DE number 4193098
• Logical debugging

Cited in

(2)

• scientific article; zbMATH DE number 4005581 (Why is no real title available?)
• scientific article; zbMATH DE number 4005582 (Why is no real title available?)

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