SkillsCast

Using Haskell and Symbolic Execution to Verify Spacecraft Control Programs

10th October 2019 in London

There are 34 other SkillsCasts available from Haskell eXchange 2019