Automated Technology for Verification and Analysis
Automated Technology for Verification and Analysis
Ahmed Bouajjani
Details
OL Work ID
OL16968863W
Subjects
Logic design
Computer networks
Computer science
Software engineering
Congresses
Automatic theorem proving
Find this book
Open Library