Static analysis : 14th International symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007 : proceedings / Hanne Riis Nielson, Gilberto Filé (Eds.)

Date : 2007

Editeur / Publisher : Berlin : Springer , cop. 2007

Type : Livre / Book

Langue / Language : anglais / English

ISBN : 3-540-74060-0

ISBN : 978-3-540-74060-5

Nielson, Hanne Riis (1954-....) (Directeur de publication / publishing director)