Formal Methods: Foundations and Applications: 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers
Format: paperback
ISBN:
9783642198281 (3642198287)
Publish date: March 23rd 2011
Publisher: Springer
Pages no: 290
Edition language: English