|
СТ |
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 |
|
СТ |
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 |
|
СТ |
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 |
