0Reader Reviews
Unlock Exclusive Content
Experience the hidden layers of 'Formal methods'. Scan the book cover with the Appilog mobile app to see behind-the-scenes videos, author reviews, and interactive digital stories.
Author Commentary
Interactive Content
Available on iOS & Android
