Patrice Godefroid

1 papers · 2015–2015 · 1 conference · across top CS/AI conferences

Conferences

NSDI (1)

Top co-authors

George Varghese (1) Nikolaj Bjørner (1) Karthick Jayaraman (1) Nuno P. Lopes (1)

Papers

Checking Beliefs in Dynamic Networks NSDI 2015