School of Electrical Engineering and Computer Science |
Master's thesis presentation in Computer Science 2020Tuesday 9 June at 10.00 (sharp)Link to on-line presentation with Zoom
A contract language for modular specification and verification of temporal properties.
Presenter: Lars Hummelgren Session chair is Elena Troubitsyna
|