Вы здесь

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
  1. Bolduc C.
  2. Desharnais J.
  3. Ktari B.
10.08.2010