NASA Formal Methods: 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings takbook 9 سال ago NASA Formal Methods: 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings Klaus Havelund, Gerard Holzmann, Rajeev Joshi (eds.)… جزئیات بیشتر / دانلود