Вы здесь

Stomp F. A.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Preserving Specific Properties in Program Development 1992 Stomp F. A. Lecture Notes in Computer Science 16.10.1992
СТ Extending the Limits of Sequentially Phased Reasoning 1994 Siegel M., Stomp F. A. Lecture Notes in Computer Science 11.01.1995