Normal view
MARC view
Woodcock, James (Nombre personal)
Machine generated authority record
Work cat.: ()847745: FME ’96, industrial benefit and advances in formal methods :, c1996