Automated Theorem Proving in Software Engineering

This book can mark the coming of age of automated theorem proving (ATP). For this book is arguably the first to present for the general computer scientist or mathematician in some technical depth the ability of automated theorem provers to function in the realm where they will earn their living.