Вы здесь

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