Вы здесь

Vardhan A.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Learning to Verify Safety Properties 2004 Vardhan A., Sen K., Viswanathan M., Agha G. Lecture Notes in Computer Science Lecture Notes in Computer Science 26.02.2005