The Unverifiability of Unverifiability

1973/03/01 by Ronald C. Hoy · 1 citation
Computer Science · Psychology · #Formal Methods in Verification #Numerical Methods and Algorithms #Philosophy and Theoretical Science

paper · doi:10.2307/2106951

Cited by

• Verifier Theory and Unverifiability