Dimitra Giannakopoulou Corina S. Pasareanu Special issue on learning techniques for compositional reasoning. 173-174 2008 32 Formal Methods in System Design 3 http://dx.doi.org/10.1007/s10703-008-0054-9 db/journals/fmsd/fmsd32.html#GiannakopoulouP08