Reliability and Integrity of Large Computer Programs,
CALIFORNIA UNIV BERKELEY ELECTRONICS RESEARCH LAB
Pagination or Media Count:
The report discusses the reliability and correctness of computer programs. Methods for decreasing costs, increasing efficiency, improving security, and testing of large computer programs are presented.
- Computer Programming and Software
- Computer Systems Management and Standards