Synthesizing reactive programs (2011)

by P Madhusudan
Venue:In 20th EACSL Annual Conference on Computer Science Logic, CSL ’11