Automated theorem proving in software engineering

Johann M. Schumann ; foreword by Donald Loveland.
Bok · Engelsk

Utgitt	Springer Berlin Heidelberg
Emner	Automatic theorem proving. Software engineering.
Dewey	005.1