Вы здесь

Kupfermann O.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Sanity Checks in Formal Verification 2006 Kupfermann O. Lecture Notes in Computer Science Lecture Notes in Computer Science 28.09.2006