Janet Barnes

	2006
2		Andrew Ireland, Bill J. Ellis, Andrew Cook, Roderick Chapman, Janet Barnes: An Integrated Approach to High Integrity Software Verification. J. Autom. Reasoning 36(4): 379-410 (2006)
	1987
1		Janet Barnes: A user perspective on computer-assisted translation for minority languages. Machine Translation 2(2-3): 131-134 (1987)

Coauthor Index

1	Roderick Chapman	[2]
2	Andrew Cook	[2]
3	Bill J. Ellis	[2]
4	Andrew Ireland	[2]

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page