Inductive learning applied to program construction and verification (1992)

by Ivan Bratko, Marko Grobelnik
Venue:Knowledge Oriented Software Design: Extended Papers from the IFIP TC 12 Workshop on Artificial Intelligence from the Information Processing Perspective, AIFIPP '92