A New Incompleteness Result for Hoare's System

Mitchell Wand

Browse the full STOC paper archive.