@inproceedings{pace:csaw2005-01,
	TITLE     = {Verifying Hardware Compilers},
	AUTHOR    = {G. J. Pace and K. Claessen},
	BOOKTITLE = {Computer Science Annual Workshop 2005 (CSAW'05)},
	PUBLISHER = {University of Malta},
	MONTH     = sep,
	YEAR      = 2005
}