Skip to content
Vinony

Automated Technology for Verification and Analysis

by Cyrille Artho, Axel Legay, Doron Peled

Cover of Automated Technology for Verification and Analysis

No description available.

Artificial intelligenceAutomatic theorem proving
Automated Technology for Verification and Analysis by Cyrille Artho, Axel Legay, Doron Peled — book · Vinony