Formal Methods in System Design

, Volume 32, Issue 3, pp 173–174

Special issue on learning techniques for compositional reasoning

Guest Editorial

Copyright information

© Springer Science+Business Media, LLC 2008

Authors and Affiliations

  • Dimitra Giannakopoulou
    • 1
  • Corina S. Păsăreanu
    • 1
  1. 1.NASA Ames Research CenterMountain ViewUSA

Personalised recommendations