Search Results

This book constitutes the refereed proceedings of the 5th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2004, hel

This book constitutes the refereed proceedings of the 16th International Symposium on Static Analysis, SAS 2009, held in Los Angeles, CA, USA in August 2009 - c

This book constitutes the refereed proceedings of the 20th IFIP TC 6/WG 6.1 International Conference on Testing Communicating Systems, TestCom 2008, and the 8th

This book constitutes the refereed proceedings of the 9th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2011, held in Aalbo

This book constitutes the refereed proceedings of the 25th European Conference on Object-Oriented Programming, ECOOP 2011, held in Lancaster, UK, in July 2011.