Păsăreanu, Corina S.
概要
作品: | 0 作品在 0 項出版品 0 種語言 |
---|
書目資訊
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.
(書目-語言資料,印刷品)