-
1كتاب إلكتروني
المؤلفون: Antonino, Pedro R. G.Aff17, Oliveira, Marcel MedeirosAff18, Sampaio, Augusto C. A.Aff17, Kristensen, Klaus E.Aff19, Bryans, Jeremy W.Aff20
المساهمون: Hutchison, David, editorAff1, Kanade, Takeo, editorAff2, Kittler, Josef, editorAff3, Kleinberg, Jon M., editorAff4, Kobsa, Alfred, editorAff5, Mattern, Friedemann, editorAff6, Mitchell, John C., editorAff7, Naor, Moni, editorAff8, Nierstrasz, Oscar, editorAff9, Pandu Rangan, C., editorAff10, Steffen, Bernhard, editorAff11, Terzopoulos, Demetri, editorAff12, Tygar, Doug, editorAff13, Weikum, Gerhard, editorAff14, Badger, Julia M., editorAff15, Rozier, Kristin Yvonne, editorAff16
المصدر: NASA Formal Methods : 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 – May 1, 2014. Proceedings. 8430:31-45