Formal Methods: Foundations and Applications häftadEngelska, 2016