SkillsCast

T2: A Temporal Property Verifier in F#

28th March 2013 in London

This SkillsCast was filmed at T2: A Temporal Property Verifier in F#