Zdroj:	NASA Formal Methods 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings; 2015, pI-XIII, 13p
Databáze:	Complementary Index
Externí odkaz:	Zobrazit plný text záznamu