FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings takbook 9 سال ago FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings Nikolaj Bjørner, Frank de Boer (eds.)… جزئیات بیشتر / دانلود