Вы здесь

Rura S.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Flexible Static Semantic Checking Using First-Order Logic 2003 Rura S., Lerner B. Lecture Notes in Computer Science 23.09.2003