Вы здесь

Stenzel K.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ 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
СТ Reuse of Proofs in Software Verification 1993 Reif W., Stenzel K. Lecture Notes in Computer Science 20.01.1994
СТ 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