Вы здесь

Schellhorn G.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ 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
СТ XIII. KIV 1995 Schellhorn G., Burandt A. Lecture Notes in Computer Science 25.03.1995
СТ The KIV System - A Tool for Formal Program Development 1993 Drexler R., Reif W., Schellhorn G., Stenzel K., Stephan W., Wolpers A. Lecture Notes in Computer Science 06.04.1993