Don Victoria Softball League. April 2, 2012 Coaches Meeting for T-Ball Coaches.
SLAM & Static Driver Verifier: Technology Transfer of Formal Methods in Microsoft Thomas Ball Testing, Verification and Measurement Microsoft Research.
Don Victoria Softball League. April 4, 2011 Coaches Meeting for T-Ball Coaches.
