Travelled to:
1 × Canada
1 × The Netherlands
1 × United Kingdom
Collaborated with:
∅
Talks about:
method (2) formal (2) discoveri (1) introduc (1) independ (1) abstract (1) problem (1) tempor (1) integr (1) domain (1)
Person: Raymond T. Boute
DBLP: Boute:Raymond_T=
Contributed to:
Wrote 3 papers:
- FM-2009-Boute #logic #unification
- Making Temporal Logic Calculational: A Tool for Unification and Discovery (RTB), pp. 387–402.
- FM-2006-Boute #formal method #independence #problem #using
- Using Domain-Independent Problems for Introducing Formal Methods (RTB), pp. 316–331.
- IFM-2004-Boute #abstraction #formal method
- Integrating Formal Methods by Unifying Abstractions (RTB), pp. 441–460.