Sign In

Communications of the ACM

BLOG@CACM


Refine your search:
datePast Year
subjectTheory
authorBertrand Meyer

Getting a Program Right (7)
From BLOG@CACM

Getting a Program Right (7)

Have you run a program proof before? Now is your chance!

Getting a Program Right (6)
From BLOG@CACM

Getting a Program Right (6)

Thanks for your patience.

Getting a Program Right (1)
From BLOG@CACM

Getting a Program Right (1)

Why it is good to have a systematic approach to software verification.
Sign In for Full Access
» Forgot Password? » Create an ACM Web Account