| |
| 1991 | ||
|---|---|---|
| 2 | S. Gallouzi, Luigi Logrippo, Abdellatif Obaid: An expressive trace theory for LOTOS. PSTV 1991: 159-175 | |
| 1990 | ||
| 1 | S. Gallouzi, Luigi Logrippo, Abdellatif Obaid: A Hoare-style Proof System for LOTOS. FORTE 1990: 49-62 | |
| 1 | Luigi Logrippo | [1] [2] |
| 2 | Abdellatif Obaid | [1] [2] |