@inproceedings{pace:csaw2003,
	TITLE     = {Computer-Aided Verification: How to Trust a Machine with Your Life},
	AUTHOR    = {G. J. Pace},
	BOOKTITLE = {Computer Science Annual Workshop 2003 (CSAW'03)},
	PUBLISHER = {University of Malta},
	MONTH     = sep,
	YEAR      = 2003
}