NASA Formal Methods 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012, Proceedings
著者 G. Weikum, D. Tygar, D. Terzopoulos, M. Sudan, B. Steffen, C. Pandu Rangan, O. Nierstrasz, M. Naor, J.C. Mitchell, F. Mattern, A. Kobsa, J. Kleinberg, J. Kittler, T. Kanade, D. Hutchison