Formal Methods in System Design

, Volume 32, Issue 3, pp 173–174

Special issue on learning techniques for compositional reasoning

Guest Editorial

DOI: 10.1007/s10703-008-0054-9

Cite this article as:
Giannakopoulou, D. & Păsăreanu, C.S. Form Methods Syst Des (2008) 32: 173. doi:10.1007/s10703-008-0054-9

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