Rigorous software development. An introduction to program verification (to appear)

MaRDI QIDQ6946655zbMATH OpenFDO

Authors José Bacelar Almeida, Maria João Frade, Jorge Sousa Pinto, Simão Melo de Sousa

Publication date 6 August 2025

Published in Undergraduate Topics in Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

Logic in computer science (03B70) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication: Rigorous software development. An introduction to program verification (to appear)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6946655)