NFM 2012 The 4th NASA Formal Methods Symposium. Norfolk, Virginia, April 3-5, 2012.
RV 2012 The 3rd International Conference on Runtime Verification. Istanbul, Turkey, September 25-28, 2012.
