vix.ing
·
top
·
new
·
best
·
stats
·
spec
Ronald C. Hoy
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