Lectures

HSE #1: Hardcore Software Engineering

466 views
Hardcore Software Engineering with Joseph Kiniry.

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