Automated theorem proving in software engineering

Saved in:

Bibliographic Details
Main Author:	Schumann, Johann M 1960-
Format:	Book
Published:	Berlin Springer 2001
Subjects:	Software engineering Automatic theorem proving
Online Access:	Click Here to View Status and Holdings.
Tags:	Add Tag No Tags, Be the first to tag this record!

Internet