scientific article; zbMATH DE number 5499339

MaRDI QIDQ5506350zbMATH OpenFDO

Authors Grazyna Mirkowska, Andrzej Salwicki, Oskar Świda

Publication date 28 January 2009

Mathematics Subject Classification ID

Logic in computer science (03B70) General topics in the theory of software (68N01) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 3991419
• scientific article; zbMATH DE number 3954252
• scientific article; zbMATH DE number 3880080
• Survey of research on program verification via separation logic
• Computer Science Logic
• Publication:4721633
• Toward formal development of programs from algebraic specifications: Implementations revisited
• Introduction to the special issue on computational logic for verification

Cited in

(2)

• Algebraic approach to algorithmic logic
• scientific article; zbMATH DE number 3938529 (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 Q5506350)