Вы здесь
Dubois C.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Inference de types et d implantations pour des expressions ensemblistes | 1991 | Donzeau-Gouge V., Dubois C., Facon P. | BIGRE | 29.03.1991 |
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | Tests and Proofs: Proc./12th International Conference, TAP 2018 Held as Part of STAF 2018, Toulouse, France, June 2018 | 2018 | Lecture Notes in Computer Science |
|
21.06.2018 | |||
| СБ | Tests and Proofs: Proc./Third International Conference, TAP 2009. Zurich, Switzerland, July 2009 | 2009 | Lecture Notes in Computer Science |
|
24.07.2009 |