S. Gallouzi

Publication Activity (10 Years)

Years Active: 1990-1991
Publications (10 Years): 0

Publications

S. Gallouzi, Luigi Logrippo, Abdellatif Obaid
An expressive trace theory for LOTOS. PSTV (1991)
S. Gallouzi, Luigi Logrippo, Abdellatif Obaid
A Hoare-style Proof System for LOTOS. FORTE (1990)