Automated Technology for Verification and Analysis

Automated Technology for Verification and Analysis
Details
- OL Work ID
- OL16929852W
Subjects
Logic designComputer networksComputer scienceSoftware engineeringInformation storage and retrieval systemsAutomatic theorem provingCongresses