Practical Verification of Java

Joe Kiniry gave talks on KOA and Practical Verification of Java in Newcastle.