scientific article; zbMATH DE number 7178367

MaRDI QIDQ5219932zbMATH OpenFDO

Authors Jean-Raymond Abrial

Publication date 9 March 2020

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Describes a project that uses

Uses Software

• ProB
• Rodin

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