2 results  save search


hal-00784959v1  Conference papers
Jean-Paul BodeveixDavid ChemouilMamoun FilaliMartin Strecker. Towards formalising AADL in Proof Assistants
Formal Foundations of Embedded Software and Component-based Software Architectures 2005, 2005, Edinburgh, United Kingdom. pp.153-169, ⟨10.1016/j.entcs.2005.05.008⟩
hal-00782793v1  Journal articles
David Chemouil. Isomorphisms of simple inductive types through extensional rewriting
Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2005, 15 (5), pp.875-915. ⟨10.1017/S0960129505004950⟩