Keyphrase: program derivation

Papers

authors	title	volume	pages
Michael Franssen	Cocktail II	WING 2010. Workshop on Invariant Generation 2010	92-93