Formal Methods Teaching: Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, ... Computer Science and General Issues)

Brijesh Dongol , Luigia Petre , Graeme Smith