Automated theorem proving in software engineering - Schumann, Johann (Springer, 2001)
Teilw. zugl.: München, Techn. Univ., Habil.-Schr. 2000