- 31 October 2023
- book chapter
- Published by Springer Nature
- p. 3-8
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Context-Aware Trace Contracts2024
- JavaBIP meets VerCors: Towards the Safety of Concurrent Software Systems in Java2023
- A Hoare Logic with Regular Behavioral Specifications2022
- Deductive Software Verification: From Pen-and-Paper Proofs to Industrial Tools2019
- A Survey of Active Object LanguagesACM Computing Surveys, 2017
- Applying 'design by contract'Computer, 1992
- Procedures and parameters: An axiomatic approach1971