Practical Application of Functional and Relational Methods for the Specification and Verification of Safety Critical Software | Publicación