CSL
2002
Springer
13 years 4 months ago
2002
Springer
This paper presents sound and complete Hoare logics for partial and total correctness of recursive parameterless procedures in the context of unbounded nondeterminism. For total co...