Вы здесь

Fuchss T.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Three Selected Case Studies in Verification 1995 Fuchss T., Reif W., Schellhorn G., Stenzel K. Lecture Notes in Computer Science KORSO: Methods, Languages, and Tools for the Construction of Correct Software 28.12.1995