@article{fb46f696e51c47b5beee2335b6e633a9,
title = "Preface",
author = "Alex Groce and Madanlal Musuvathi",
note = "Funding Information: BI 2010 could not have taken place without the great team effort of the Local Organizing Committee, the support of the International WIC Institute, Beijing University of Technology, China and York University, Canada. Our special thanks go to Aijun An, Juzhen Dong, Jian Yang, and Daniel Tao for organizing and promoting BI 2010 and coordinating with AMT 2010. We are grateful to the Springer Lecture Notes in Computer Science (LNCS/LNAI) team for their generous support. We thank Alfred Hofmann and Anna Kramer of Springer for their help in coordinating the publication of this special volume in an emerging and interdisciplinary research field.; 18th International SPIN Workshop on Model Checking of Software, SPIN 2011 ; Conference date: 14-07-2011 Through 15-07-2011",
year = "2011",
language = "English (US)",
volume = "6823 LNCS",
pages = "1",
journal = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
issn = "0302-9743",
publisher = "Springer Verlag",
}