Вы здесь
Malacaria P.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | A New Approach to Control Flow Analysis | 1998 | Malacaria P., Hankin C. | Lecture Notes in Computer Science | 17.04.1998 | |||
| СТ | Full Abstraction for PCF | 1994 | Abramsky S., Malacaria P., Jagadeesan R. | Lecture Notes in Computer Science | 30.04.1994 |