Correct-schema-guided Synthesis of Steadfast Programs (1997)

by Pierre Flener, Kung-kiu Lau, Mario Ornaghi
Venue:In M. Lowry and Y. Ledru (eds), Proc. of ASE'97