Login / Signup
Barbara Heyd
Publication Activity (10 Years)
Years Active: 1996-1999
Publications (10 Years): 0
</>
Publications
</>
Pierre Crégut
,
Barbara Heyd
Progress Properties for Empty UNITY Programs.
Inf. Process. Lett.
69 (3) (1999)
Boutheina Chetali
,
Barbara Heyd
Formal Verification of Concurrent Programs in LP and in COQ: A Comparative Analysis.
TPHOLs
(1997)
Pierre Crégut
,
Fabrice Guillemin
,
Barbara Heyd
A Protocol for Supporting the ABT/DT Capability.
ICNP
(1996)
Barbara Heyd
,
Pierre Crégut
A Modular Coding of UNITY in COQ.
TPHOLs
(1996)