"Teaching Formal Methods, CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, ..."

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

Details and statistics

DOI: 10.1007/B102075

access: closed

type: Editorship

metadata version: 2019-05-14