Formal Analysis and Design for Engineering Security (FADES) Вид публикации: Thesis Авторы: Riham Hassan Abdel-Moneim Mansour Источник: Virginia Polytechnic Institute and State University, Volume PhD Dissertation, Blacksburg, VA (2009)
