A Calculus of Refinements for Program Derivations.

Ralph-Johan Back

Published in: Acta Informatica (1988)

Keyphrases

inference rules
test cases
static analysis
case study
multiscale
knowledge representation
computer programs