Lectures

2020/2021

Week 7  

Lecture 7 -- Formal Specification

Specification with JML: JML tutorial (by Kind Software)

Acknowledgements

These lectures are based on the Software Verification and Validation lectures of assoc. prof. Marius Minea, which you can access here