المؤلفون: Antonino, Pedro R. G.^Aff17, Oliveira, Marcel Medeiros^Aff18, Sampaio, Augusto C. A.^Aff17, Kristensen, Klaus E.^Aff19, Bryans, Jeremy W.^Aff20

المساهمون: Hutchison, David, editor^Aff1, Kanade, Takeo, editor^Aff2, Kittler, Josef, editor^Aff3, Kleinberg, Jon M., editor^Aff4, Kobsa, Alfred, editor^Aff5, Mattern, Friedemann, editor^Aff6, Mitchell, John C., editor^Aff7, Naor, Moni, editor^Aff8, Nierstrasz, Oscar, editor^Aff9, Pandu Rangan, C., editor^Aff10, Steffen, Bernhard, editor^Aff11, Terzopoulos, Demetri, editor^Aff12, Tygar, Doug, editor^Aff13, Weikum, Gerhard, editor^Aff14, Badger, Julia M., editor^Aff15, Rozier, Kristin Yvonne, editor^Aff16

المصدر: NASA Formal Methods : 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 – May 1, 2014. Proceedings. 8430:31-45