Boute, Raymond T.

TitelISBN-13
(ISBN-10)
Erschei-
nungsjahr
andere Autoren
Teaching Formal Methods: CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004. Proceedings978-3-54O-23611-5
(3-54O-23611-2)
2007C. Neville Dean

B. T. · R. T. · Raymond T. Boute

Boutegege Regine Supryn-Klepcarz Magdalena