Вы здесь
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 |
Редактор:
Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
---|---|---|---|---|---|---|---|---|
СБ | Socio-Technical Aspects in Security and Trust: Revised Selected Papers/10th International Workshop,, STAST 2020, Virtual Event, September 2020 | 2021 | Lecture Notes in Computer Science |
|
20.08.2021 | |||
СБ | Tests and Proofs: Proc./7th International Conference, TAP 2013, Budapest, Hungary, June 2013 | 2013 | Lecture Notes in Computer Science |
|
26.08.2013 |