You can’t prove anything about a program written in C or FØRTRAN. It’s really just Peek and Poke with some syntactic sugar.

, ,

You can't prove anything about a program written in C or FØRTRAN. It's really just Peek and Poke with some syntactic sugar.