Working Towards the Verified Software Process

Working Towards the Verified Software Process

Bibliographic Details
Main Author: Adcock, Bruce M.
Language:English
Published: The Ohio State University / OhioLINK 2010
Subjects:
Computer Science
Software engineering
software verification
automated theorem prover
lazy copying
Resolve
debugging
Online Access:http://rave.ohiolink.edu/etdc/view?acc_num=osu1293463269
Description
Description not available.

Similar Items