4th International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation (ISoLA 2010)
Book title Buchtitel
4th International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation (ISoLA 2010)
Editor Herausgeber_in
Publisher Herausgeber
Springer-Verlag
Place of publishing Erscheinungsort
Heidelberg, LNCS 6416