Вы здесь
Rival X.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Symbolic Transfer Function-based Approaches to Certified Compilation | 2004 | Rival X. | SIGACT, SIGPLAN | POPL 2004 | 08.06.2004 | ||
| СТ | 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-Based Certification of Assembly Code | 2003 | Rival X. | Lecture Notes in Computer Science | 31.01.2003 |
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | Static Analysis: Proc./23rd International Symposium, SAS 2016, Edinburgh, UK, September 2016 | 2016 | Lecture Notes in Computer Science |
|
07.10.2016 | |||
| СБ | Verification, Model Checking, and Abstract Interpretation: Proc./15th International Conference, VMCAI 2014, San Diego,CA,USA, January 2014 | 2014 | Lecture Notes in Computer Science |
|
18.02.2014 |