@inproceedings{csaw2006-04,
	TITLE     = {Automatic Interface Generation for Enumerative Model Checking},
	AUTHOR    = {Sandro Spina and Gordon J. Pace},
	BOOKTITLE = {Computer Science Annual Workshop 2006 (CSAW'06)},
	PUBLISHER = {University of Malta},
	MONTH     = dec,
	YEAR      = 2006
}