Automated Theorem Proving in Software Engineering
File Size : 26,26 MBTotal View : 6980 Views
DOWNLOAD
Growing demands for the quality, safety, and security of software can only be satisfied by the rigorous application of formal methods during software design. Th