Correctness-by-Construction - How Can We Build Better Software?

Here is the link to the recording: