Formal Methods in System Design

, Volume 32, Issue 3, pp 173–174

Special issue on learning techniques for compositional reasoning

Authors

  • Dimitra Giannakopoulou
    • NASA Ames Research Center
    • NASA Ames Research Center
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