* ICSE 2018 *
Sun 27 May - Sun 3 June 2018 Gothenburg, Sweden
Arie Gurfinkel

Registered user since Sat 16 Jan 2016

Name:Arie Gurfinkel
Country:Canada
Affiliation:University of Waterloo
Research interests:model checking, static analysis, verification, formal methods, logic, smt, decision procedures, sat

Contributions

* ICSE 2018 * Committee Member in DS Program committee within the DS - Doctoral Symposium -track
Committee Member in Program committee within the Technical Papers -track
Show activities from other conferences

* ICSE 2018 *-profile
View general profile