S. Gallouzi

	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

Coauthor Index

1	Luigi Logrippo	[1] [2]
2	Abdellatif Obaid	[1] [2]

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page