STC 2013

Apr 8-11, 2013 – Salt Lake City, Utah

Ben Brosgol will deliver  a talk entitled "Object-Oriented Programming for High-Integrity Software: Local Type Consistency Verification without Tears".