Miyazawa, A. & Cavalcanti, A. L. C., 2014, 11th International Conference on Integrated Formal Methods: Proceedings. Albert, E. & Sekerinski, E. (eds.). Springer, p. 155-17016 p. (Lecture Notes in Computer Science; vol. 8739).
Research output: Chapter in Book/Report/Conference proceeding › Other chapter contribution