Păsăreanu, Corina S.
Overview
| Works: | 0 works in 0 publications in 0 languages | |
|---|---|---|
Titles
Formal aspects of component software : = 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012 Revised selected papers /
by:
Păsăreanu, Corina S. ; Salaün, G.
(Language materials, printed)