by Ana Cavalcanti (Editor), Dennis Dams (Editor), Dennis Dams (Editor), Ana Cavalcanti (Editor)
th FM 2009, the 16 International Symposium on Formal Methods, marked the 10th an- versary of the First World Congress on Formal Methods that was held in 1999 in Toulouse, France.
Format: Paperback
Pages: 840
Edition: 2009
Publisher: Springer
Published: 26 Oct 2009
ISBN 10: 3642050883
ISBN 13: 9783642050886