Formal Forms with State Machines

David Khourshid @ ReactNext 2019