Write Code that is "Correct by Construction"
Correct by Construction
First presentation attempting to explain the motivations behind Constructive Programing
Slides.com linkFirst presentation attempting to explain the motivations behind Constructive Programing
Slides.com link