Formal Techniques for Safety-Critical Systems
Cyrille Artho
Paperback
Not Available
Automated Technology for Verification and Analysis
Join our community for the latest bookish news, reading recommendations, exclusive opening extracts, author events and competitions. It\'s all free. And enter a monthly draw to win a £50 Gift Card. See past winners here
