Вы здесь
Loiseaux C.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Formal Methods in Practice: The Missing Links. A Perspective from the Security Area | 2001 | Bolignano D., Le Metayer D., Loiseaux C. | Lecture Notes in Computer Science | 04.11.2001 | |||
| СТ | A tool for symbolic program verification and abstraction | 1993 | Graf S., Loiseaux C. | Lecture Notes in Computer Science | 20.08.1993 | |||
| СТ | Property Preserving Abstractions under Parallel Composition | 1993 | Graf S., Loiseaux C. | Lecture Notes in Computer Science | 26.05.1993 |