Inductive learning applied to program construction and verification (1993)

by Ivan Bratko, Marko Grobelnik
Venue:In José Cuena, editor, AIFIPP ’92