Вы здесь

Vigano L.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ A Formal Analysis of the CORBA Security Service 2002 Basin D., Rittinger F., Vigano L. Lecture Notes in Computer Science 02.03.2002
СТ Building and Executing Proof Strategies in a Formal Metatheory 1993 Armando A., Cimatti A., Vigano L. Lecture Notes in Artificial Intelligence 11.12.1993