Вы здесь

Filali M.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Type Synthesis in B and the Translation of B to PVS 2002 Bodeveix J. -P., Filali M. Lecture Notes in Computer Science 02.03.2002
СТ On the Automatic Validation of Parameterized Unity Programs 1998 Bodeveix J. -P., Filali M. Lecture Notes in Computer Science 14.05.1998
СТ Tailoring UNITY to Distributed Program Design 1998 Charpentier M., Filali M., Mauran P., Padiou G., Queinnec P. Lecture Notes in Computer Science 14.05.1998
СТ Towards a HOL Theory of Memory 1994 Bodeveix J. -P., Filali M., Roche P. Lecture Notes in Computer Science 24.11.1994
СТ Modula-2 in a Distributed Environment 1989 Filali M., Malegarie F., Marques S., Nguyen A. T., Padiou G. First International Modula-2 Conference, Oktober 11-13, 1989, Bled, Yugoslavia 05.06.1992