Cover Image

Automated theorem proving in software engineering /

Show other versions (1)
Bibliographic Details
Main Author: Schumann, Johann M., 1960-
Format: Book
Language:English
Published: Berlin ; New York : Springer, [2001]
Subjects:
Software engineering.
Automatic theorem proving.
Show all versions (2)