Foundations.- Specification and Verification.- From Verification to Analysis.- The KeY System in ...

This book constitutes the refereed proceedings of the 15th International Conference on Integrated...

This book constitutes the refereed proceedings of the 14th International Conference on Tests and ...

This book presents reflections on the occasion of 20 years on the KeY project that focuses on ded...

This Festschrift, dedicated to Reiner Hähnle on the occasion of his 60th birthday, contains paper...