%0 Generic %A Giannakopoulou, Dimitra, %E Barringer, Howard, %E Pasareanu, Corina S., %T Proof Rules for Automated Compositional Verification through Learning. %U http://hdl.handle.net/2060/20030107507