|
СТ |
A New Logic for Electronic Commerce Protocols |
2000 |
Addi K., Debbabi M., Mejri M. |
|
|
|
Lecture Notes in Computer Science |
17.06.2000 |
|
СТ |
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 |
|
СТ |
A Type-Based Algoritm for the Control-Flow Analysis of Higher-Order Concurrent Programs |
1997 |
Debbabi M., Favour N., Tawbi N. |
|
|
|
Lecture Notes in Computer Science |
07.08.1997 |
