Handbook of Logic in Computer Science.

Autor Abramsky, S., Gabbay, Dov M., Maibaum, T. S. E.
Vydáno 1992.

FM 2008 formal methods : 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 : proceedings /

Autor International Symposium of Formal Methods Europe, Cuellar, Jorge., Maibaum, T. S. E., Sere, K.
Vydáno c200

Formal methods and software rngineering 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008 : proceedings /

Autor International Conference on Formal Engineering Methods, Liu, Shaoying, Maibaum, T. S. E., Araki, Keijiro
Vydáno c200