Justifying Algorithms for

FoSSaCS (2005), pp. 410-424

Abstract