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