Вы здесь

Mcdonnell K. T.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Software Design, Specification, and Verification: Lessons Learned from the Rether Case Study 1997 Du X., Mcdonnell K. T., Nanos E., Ramakrishna Y. S., Smolka S. A. Lecture Notes in Computer Science 30.12.1997