DRSML
Library Management System
SUMMON Search
SEARCH ALL HEC DIGITAL LIBRARY RESOURCES
Web Online Public Access Catalog - Use the search options to find documents quickly
Found 2 from your keywords:
Subject : "Computer software-verification"Query took 2.2183 second(s) to complete
Proceedings of the ACM sigsoft 89 third symposium on software testing, analysis, and verification (TAV3)
Edition :
Call Number : 005.14 PRO
Select Language
Advanced Search
Developed By
Implemented by: Anees ur Rehman