Integrating Theories and Techniques for Program Modelling, Design and Verification | Publicación