Combining Angles, Demons and Miracles in Program Specifications.

Ralph-Johan Back Joakim von Wright

Published in: Theor. Comput. Sci. (1992)

Keyphrases

control flow
image registration
static analysis
software testing
recursive programs
execution traces
website
logic programs
test cases
formal specification
specification language