|
ComputingReviews.com
|
Sometime=always+recursionalways on the equivalence of the intermittent and invariant assertions methods for proving properties of programs Cousot P., Cousot R. Acta Informatica24(1):1-31,1987.Type:Article |
|
|
|
Published By: Springer-Verlag New York, Inc. |
|
|
|
|