Вы здесь
Ktari B.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | A Synergy between Model-Checking and Type Inference for the Verification of Value-Passing Higher-Order Processes | 1999 | Debbabi M., Benzakour A., Ktari B. | Lecture Notes in Computer Science | 05.02.1999 |
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | Mathematics of Program Construction: Proc./10th International Conference, MPC 2010, Quebec City, Canada, June 2010 | 2010 | Lecture Notes in Computer Science |
|
10.08.2010 |