Вы здесь
Pichardie D.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Extracting a Data Flow Analyser in Constructive Logic | 2004 | Cachera D., Jensen T., Pichardie D., Rusu V. | Lecture Notes in Computer Science | 23.04.2004 |
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | Static Analysis: Proc./27th International Symposium,, SAS 2020, Virtual Event, November 2020 | 2020 | Lecture Notes in Computer Science |
|
19.02.2021 | |||
| СБ | Interactive Theorem Proving: Proc./4th International Conference, ITP 2013, Rennes, France, July 2013 | 2013 | Lecture Notes in Computer Science |
|
26.08.2013 |