Sidi O. Ehmety

	2005
4		Sidi O. Ehmety, Lawrence C. Paulson: Mechanizing compositional reasoning for concurrent systems: some lessons. Formal Asp. Comput. 17(1): 58-68 (2005)
	2002
3		Sidi O. Ehmety, Lawrence C. Paulson: Program Composition in Isabelle/UNITY. IPDPS 2002
	1996
2		Isabelle Attali, Denis Caromel, Sidi O. Ehmety, Sylvain Lippi: Semantic-Based Visualization for Parallel Object-Oriented Programming. OOPSLA 1996: 421-440, 453-456
1		Isabelle Attali, Denis Caromel, Sidi O. Ehmety: A Natural Semantics for Eiffel Dynamic Binding. ACM Trans. Program. Lang. Syst. 18(6): 711-729 (1996)

Coauthor Index

1	Isabelle Attali	[1] [2]
2	Denis Caromel	[1] [2]
3	Sylvain Lippi	[2]
4	Lawrence C. Paulson	[3] [4]

Colors in the list of coauthors