Lectures

HSE #1: Hardcore Software Engineering

481 views
Hardcore Software Engineering with Joseph Kiniry.

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