Вы здесь

Zulkernine M.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Assume-Guarantee Algorithms for Automatic Detection of Software Failures 2002 Zulkernine M., Seviora R. E. Lecture Notes in Computer Science 21.06.2002