Вы здесь

Couturier R.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ An Experiment in Parallelizing an Application Using Formal Methods 1998 Couturier R., Mery D. Lecture Notes in Computer Science 03.07.1998