FM 2016: formal methods. 21st international symposium, Limassol, Cyprus, November 9--11, 2016. Proceedings
scientific article; zbMATH DE number 6649708