Autor:	Ahmed, Zara, Benque, David, Berezin, Sergey, Dahl, Anna Caroline E., Fisher, Jasmin, Hall, Benjamin A., Ishtiaq, Samin, Nanavati, Jay, Piterman, Nir, Riechert, Maik, Skoblov, Nikita
Zdroj:	Verification, Model Checking & Abstract Interpretation: 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017, Proceedings; 2017, p1-13, 13p
Databáze:	Complementary Index
Externí odkaz:	Zobrazit plný text záznamu