Login / Signup
Thibaud Brunet
Publication Activity (10 Years)
Years Active: 2006-2006
Publications (10 Years): 0
</>
Publications
</>
Agnès Arnould
,
Laurent Fuchs
,
Marc Aiguier
,
Thibaud Brunet
Automatic Generation of Functional Programs from CASL Specifications.
ICSEA
(2006)