Formal Methods: Foundations and Applications | Publicación