Вы здесь

Devulder S.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Software Verification Based on Linear Programming 1999 Dellacherie S., Devulder S., Lambert J. -L. Lecture Notes in Computer Science 26.10.1999