A gentle introduction to SMT-based program analysis

February 12, 2023  -  Arnau Gàmez i Montolio
CC BY 4.0

[ This article is also available as an interactive jupyter notebook ]



Get notified about new content and upcoming training offerings.

About ~1 mail/month. Unsubscribe at any time.