Вы здесь

Mikhailov L.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ An Approach to Combining B and Alloy 2002 Mikhailov L., Butler M. Lecture Notes in Computer Science 02.03.2002