Reinhard Wilhelm's career in Computer Science spans more than a third of a century. This Festschrift volume, published to honor him on his 60th Birthday on June

This volume constitutes the refereed proceedings of the 17th International Conference on Concurrency Theory. Thirty full papers are presented along with three i

This book constitutes the refereed proceedings of the 15th International Conference on Compiler Construction, CC 2006, held in March 2006 as part of ETAPS. The

A Step Towards Verified Software Worries about the reliability of software are as old as software itself; techniques for allaying these worries predate even Jam

Software-intensive systems are today an integral part of many everyday products. Whilst they provide great benefits regarding ease of use and allow for new appl