Raymond T. Boute

Systematic functional design of XML tools

Hannes Verlinde, Raymond T. Boute, 2004 .

Formal methods unifying computing science and systems theory

Raymond T. Boute, R. Boute, 2004 .

Functionals for the Semantic Specification of Temporal Formulas for Model Checking

Hannes Verlinde, Raymond T. Boute, 2003 .

Concrete generic functionals - Principles, design and applications

Raymond T. Boute, R. Boute, 2003 .