Symbolic incompletely specified functions for correct evaluation in the presence of indeterminate input values | IEEE Conference Publication | IEEE Xplore