Ask your own question, for FREE!
Computer Science 7 Online
OpenStudy (anonymous):

what is a good online source to learn about formal proofs of programs and loop invariants?

OpenStudy (bibby):

a discrete math textbook, probably

Can't find your answer? Make a FREE account and ask your own questions, OR help others and earn volunteer hours!

Join our real-time social learning platform and learn together with your friends!
Can't find your answer? Make a FREE account and ask your own questions, OR help others and earn volunteer hours!

Join our real-time social learning platform and learn together with your friends!