Tutorials to be presented at ETAPS-2019.
|An overview of Satisfiability Modulo Theories and its applications |
TutorialsLink to publication
|Software Verification — An Overview of the State of the Art|
You're viewing the program in a time zone which is different from your device's time zone - change time zone
Mon 8 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Mon 8 Apr
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change