SPLASH 2010
Sun 17 - Thu 21 October 2010 Location to be announced
Neil Immerman

Registered user since Mon 11 Mar 2019

Name:Neil Immerman
Affiliation:University of Massachusetts at Amherst, USA

Contributions

SPLASH 2010 A Simple Inductive Synthesis Methodology and its Applications
What Can the GC Compute Efficiently?
Show activities from other conferences

SPLASH 2010-profile
View general profile