Lectures

HSE #1: Hardcore Software Engineering

472 views
Hardcore Software Engineering with Joseph Kiniry.

Podcast about Verification-centric Software Development
 in Java with BON, JML, and ESC/Java2.