Entailment for Specification Refinement (1996)

by Thomas Haynes , Rose Gamble , Leslie Knight , Roger Wainwright
Venue:Genetic Programming 1996: Proceedings of the First Annual Conference
Citations:4 - 4 self