Long gone are the days when program veri?cation was a task carried out merely by hand with paper ...

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

This book presents the thoroughly refereed post-conference proceedings of the International Confe...

Formal methods have been applied successfully to the verification of medium-sized programs in pro...

This volume contains the research papers, invited papers, and abstracts of - torials presented at...

This book presents the thoroughly refereed post-conference proceedings of the International Confe...

This book constitutes the proceedings of the 4th International Conference on Electronic Voting, E...

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

This book constitutes the proceedings of the 5th International Conference on Electronic Voting, E...

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

Long gone are the days when program veri?cation was a task carried out merely by hand with paper ...

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