Вы здесь

Oriat C.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Detecting Isomorphisms of Modular Specifications with Diagrams 1995 Oriat C. Lecture Notes in Computer Science Algebraic Methodology and Software Technology 13.09.1995
СТ A Modal Inference System for Generic Specification with Application to Code Sharing 1995 Bert D., Oriat C. Lecture Notes in Computer Science 20.06.1995