scientific article; zbMATH DE number 7178367
From MaRDI portal
Publication:5219932
zbMATH Open1433.68089MaRDI QIDQ5219932FDOQ5219932
Authors: Jean-Raymond Abrial 
Publication date: 9 March 2020
Title of this publication is not available (Why is that?)
Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)
Uses Software
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)
