Formal Verification Using Game Theory (in French)


Date
Mar 5, 2020 12:00 AM
Event
Séminaire Jeunes
Location
Mons, Belgium
Clément Tamines
Clément Tamines
PhD in Computer Science