Instruction Sequence Faults with Formal Change Justification

DOI10.7561/SACS.2020.2.105MaRDI QIDQ5089616

Jan A. Bergstra

Publication date: 19 July 2022

Published in: Scientific Annals of Computer Science (Search for Journal in Brave)

zbMATH Keywords

splitting paradoxsumtermssumtuples

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Toward a theory of program repair

This page was built for publication: Instruction Sequence Faults with Formal Change Justification