doron a peled
Automated Technology for Verification and Analysis
Print on DemandThe Automated Technology for Veri?cation and Analysis (ATVA) international symposium series was i...
Model Checking and Artificial Intelligence
Print on DemandThis book constitutes the thoroughly refereed post-workshop proceedings of the 5th Workshop on Mo...
Automated Technology for Verification and Analysis
Print on DemandThis book constitutes the proceedings of the 14th International Symposium on Automated Technology...
Software Reliability Methods
Print on DemandA new text reference on formal method and techniques and tools for software development project d...
Verification, Model Checking, and Abstract Interpretation
Print on Demandth This volumecontains the proceedingsof the 9 internationalconference onV- i?cation, Model Check...
Computer Aided Verification
Print on DemandThisvolumecontainstheproceedingsoftheconferenceonComputer AidedVe- ?cation, CAV 2004,held in Bost...
Software Reliability Methods
Besorgungstitel - wird vorgemerktA new text reference on formal method and techniques and tools for software development project d...
- 1