Pierre Crégut (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

5 Pierre Crégut, Barbara Heyd: Progress Properties for Empty UNITY Programs. Inf. Process. Lett. 69(3): 107-109 (1999)

4 Pierre Crégut, Fabrice Guillemin, Barbara Heyd: A Protocol for Supporting the ABT/DT Capability. ICNP 1996: 218-225

3 Barbara Heyd, Pierre Crégut: A Modular Coding of UNITY in COQ. TPHOLs 1996: 251-266

Selection of 3 from 10 records - Pierre Crégut has 14 coauthors

5		Pierre Crégut, Barbara Heyd: Progress Properties for Empty UNITY Programs. Inf. Process. Lett. 69(3): 107-109 (1999)
4		Pierre Crégut, Fabrice Guillemin, Barbara Heyd: A Protocol for Supporting the ABT/DT Capability. ICNP 1996: 218-225
3		Barbara Heyd, Pierre Crégut: A Modular Coding of UNITY in COQ. TPHOLs 1996: 251-266