scientific article; zbMATH DE number 1304003

MaRDI QIDQ4250673zbMATH OpenFDO

Authors Luke Wildman, Ian Hayes

Publication date 17 June 1999

zbMATH Keywords

program window inferencesequential real-time programs

Mathematics Subject Classification ID

Theory of software (68N99) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Supporting contexts in program refinement
• A sequential real-time refinement calculus
• Computer-aided development of a real-time program

Cited in

(3)

• Supporting contexts in program refinement
• scientific article; zbMATH DE number 1303983 (Why is no real title available?)
• Computer-aided development of a real-time program

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