Вы здесь

Huet G.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Automata Mista 2003 Huet G. Lecture Notes in Computer Science 26.03.2004
СТ The Gallina Specification Language: A case study 1992 Huet G. Lecture Notes in Computer Science 28.12.1992