Integrated formal methods. 15th international conference, IFM 2019, Bergen, Norway, December 2--6, 2019. Proceedings
scientific article