|
ComputingReviews.com
|
Automated theorem proving in software engineering Schumann J., Springer-Verlag New York, Inc.,New York, NY,2001. 228 pp. Type:Book |
|
|
|
Published By: Springer-Verlag New York, Inc. |
|
|
|
|
|
|
|
|
You can purchase a book without having a subscription.
|
|
|
|
|
|
|