Formal Techniques for Java-like Programs - 28 Jul 2014

Details on this event can be found here.