John Launchbury: High-Assurance Software

From a Functional Programming seminar at Ericsson, 21 February 2008

(See The full article for more details).

John Launchbury
“High-Assurance Software” (Download) (Slides)

One thought on “John Launchbury: High-Assurance Software

Leave a Reply

Your email address will not be published. Required fields are marked *