* ICSE 2018 *
Sun 27 May - Sun 3 June 2018 Gothenburg, Sweden
* ICSE 2018 * (series) / Arie Gurfinkel
Arie Gurfinkel

Registered user since Sat 16 Jan 2016

Name:Arie Gurfinkel
Country:Canada
Affiliation:University of Waterloo
Personal website: http://arieg.bitbucket.org/
Research interests:model checking, static analysis, verification, formal methods, logic, smt, decision procedures, sat

Contributions

Show activities from other conferences

* ICSE 2018 *-profile
View general profile