Transmission of Verification

Ethan Brauer, Neil Tennant. Transmission of Verification. Rew. Symb. Logic, 14(4):866-881, 2021. [doi]

Abstract

Abstract is missing.