Venue: TU Wien
In June Aaron Bradley comes to Vienna to give an intensive course on IC3-based Model Checking!
Venue: TU Wien
In June Aaron Bradley comes to Vienna to give an intensive course on IC3-based Model Checking!