FM 2011: Formal Methods: 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011, Proceedings
Format: paperback
ISBN:
9783642214363 (3642214363)
Publish date: June 16th 2011
Publisher: Springer
Pages no: 450
Edition language: English