Integrated formal methods 16th international conference, IFM 2020, Lugano, Switzerland, November 16-20, 2020 : proceedings - Dongol, Brijesh (Springer, 2020)