Barbara Heyd

	1999
4		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		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

Coauthor Index

1	Boutheina Chetali	[3]
2	Pierre Crégut	[1] [2] [4]
3	Fabrice Guillemin	[2]

Colors in the list of coauthors