Raymond T. Boute

Editorial

José Nuno Oliveira, Paul Boca, Raymond T. Boute, 2009, Formal Aspects of Computing.

Formal Methods in the Teaching Lab Examples, Cases, Assignments and Projects Enhancing Formal Method

Raymond T. Boute, N. Oliveira, Izzat Mahmoud Alsmadi, 2006 .

Teaching Formal Methods

Raymond T. Boute, C Dean, 2004, Lecture Notes in Computer Science.

Teaching Formal Methods: CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004. Proceedings (Lecture Notes in Computer Science)

C. Neville Dean, Raymond T. Boute, 2004 .

Microsemantics as a bootstrap in teaching formal methods

Raymond T. Boute, R. Boute, 2006, FM 2006.