Вы здесь

Hutter D.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Proof Transformations for Evolutionary Formal Software Development 2002 Schairer A., Hutter D. Lecture Notes in Computer Science 10.10.2002
СТ Extending Development Graphs with Hiding 2001 Mossakowski T., Autexier S., Hutter D. Lecture Notes in Computer Science 05.05.2001
СТ Towards an Evolutionary Formal Software-Development Using CASL 2000 Autexier S., Hutter D., Mantel H., Schairer A. Lecture Notes in Computer Science 13.10.2000