DMCA

Combining Abductive Reasoning and Inductive Learning to Evolve Requirements Specifications (2003)

Cached

Download Links

by A. S. D'avila Garcez , A. Russo , B. Nuseibeh , J. Kramert
Venue:IEE Proceedings - Software
Citations:15 - 6 self