Math counts: software correctness and a SIGCSE 2008 BoF - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Peter B. Henderson. Math counts: software correctness and a SIGCSE 2008 BoF. ACM SIGCSE Bulletin, 40(4):27-28, 2008. [doi]

The following publications are possibly variants of this publication:

Math CountS: SIGCSE 2009 and CS unpluggedPeter B. Henderson. SIGCSE, 41(2):81-82, 2009. [doi]

Abstraction, model checking and software correctnessPeter B. Henderson. SIGCSE, 40(2):23-24, 2008. [doi]

Math counts: Arguments, proofs, and ..Peter B. Henderson. SIGCSE, 41(4):21-22, 2009. [doi]

runs on WebDSL