SkillsCast

Lightning Talk: Formally Verifying Complex Systems Using TLA+

13th December 2018 in London

There are 50 other SkillsCasts available from Scala eXchange London 2018