Correctness as a Relative Gradual Software Property

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.

Authors

Mark Burgin

This author has not been identified. Look up 'Mark Burgin' in Google

Narayan C. Debnath

This author has not been identified. Look up 'Narayan C. Debnath' in Google