Teaching formal methods：CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004 : proceedings

Corporate Authors: CoLogNET/FME Symposium (2004 Ghent, Belgium; LINK Online service; TFM 2004 (2004 Ghent, Belgium)
Group Author: Dean C. Neville; Boute Raymond T
Published: Springer,
Publication Dates: c2004.
Call Number: TP311.52-532/T253/2004