Вы здесь

Kammuller F.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Encoding Object-Z in Isabelle/HOL 2002 Smith G., Kammuller F., Santen T. Lecture Notes in Computer Science 02.03.2002
СТ Formalization of Algebraic Specification in the Development Language Deva 1995 Santen T., Kammuller F., Jahnichen S., Beyer M. Lecture Notes in Computer Science KORSO: Methods, Languages, and Tools for the Construction of Correct Software 28.12.1995