DocumentCode
3143533
Title
Preface
fYear
2006
fDate
15-19 Nov. 2006
Abstract
Presents the welcome message from the conference proceedings.
fLanguage
English
Publisher
ieee
Conference_Titel
Leveraging Applications of Formal Methods, Verification and Validation, 2006. ISoLA 2006. Second International Symposium on
Conference_Location
Paphos
Print_ISBN
978-0-7695-3071-0
Type
conf
DOI
10.1109/ISoLA.2006.4
Filename
4463682
Link To Document