Verifiable program construction in a user-friendly style.

Maurice Naftalin

Browse the full COMPSAC paper archive.