Normal view
MARC view
Fantechi, Alessandro (Personal Name)
Machine generated authority record.
Work cat.: (AT-ISTA): International Workshop on Formal Methods for Industrial Critical Systems (13th : 2008 : L'Aquila, Italy) 35509, Formal methods for industrial critical systems :, ©2009.