Mark Burgin, Narayan C. Debnath. Correctness as a Relative Gradual Software Property. In Walter Dosch, William Perrizo, editors, 15th International Conference on Software Engineering and Data Engineering (SEDE-2006), July 6-8, 2006, Omni Los Angeles Hotel at California Plaza, Los Angeles, California, USA, Proceedings. pages 112-115, ISCA, 2006.
Abstract is missing.