Login / Signup
Christophe Tabacznyj
Publication Activity (10 Years)
Years Active: 2000-2000
Publications (10 Years): 0
</>
Publications
</>
Dominique Cansell
,
Dominique Méry
,
Christophe Tabacznyj
Tutorial 1: Abstraction and Refinement of Concurrent Programs and Formal Specification.
IPDPS Workshops
(2000)
Christophe Tabacznyj
Abstract Clustering for Program Comprehension.
IWFM
(2000)