Static analysis of software with deductive methods is a highly dynamic field of research on the v...

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

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

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

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

Mitarbeiter und ihre Kompetenzen werden immer wichtiger für Unternehmen und können sogar einen...

Static analysis of software with deductive methods is a highly dynamic field of research on th...

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 a...

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