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)
Format: paperback
ISBN:
9783642032394 (3642032397)
Publish date: July 20th 2009
Publisher: Springer
Pages no: 231
Edition language: English