Вы здесь
Mauborgne L.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Design and Implementation of a Special-Purpose Static Program Analyzer for Safety-Critical Real-Time Embedded Software | 2002 | Blanchet B., Cousot P., Cousot R., Feret J., Mauborgne L., Mine A., Monniaux D., Rival X. | Lecture Notes in Computer Science | 14.02.2003 | |||
| СТ | Abstract Interpretation Using TDGs | 1994 | Mauborgne L. | Lecture Notes in Computer Science | 24.11.1994 |