7418472
9783642032394
Cofer, Darren is the author of 'Formal Methods for Industrial Critical Systems: 13th International Workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008, Revised Selected Papers ... / Programming and Software Engineering)', published 2009 under ISBN 9783642032394 and ISBN 3642032397.
[read more]