| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 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) |
| 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
Last update Tue May 29 20:41:18 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page