| |
| 1999 | ||
|---|---|---|
| 4 | EE | Pierre Crégut, Barbara Heyd: Progress Properties for Empty UNITY Programs. Inf. Process. Lett. 69(3): 107-109 (1999) |
| 1997 | ||
| 3 | Boutheina Chetali, Barbara Heyd: Formal Verification of Concurrent Programs in LP and in COQ: A Comparative Analysis. TPHOLs 1997: 69-85 | |
| 1996 | ||
| 2 | EE | Pierre Crégut, Fabrice Guillemin, Barbara Heyd: A Protocol for Supporting the ABT/DT Capability. ICNP 1996: 218-225 |
| 1 | Barbara Heyd, Pierre Crégut: A Modular Coding of UNITY in COQ. TPHOLs 1996: 251-266 | |
| 1 | Boutheina Chetali | [3] |
| 2 | Pierre Crégut | [1] [2] [4] |
| 3 | Fabrice Guillemin | [2] |