Login / Signup

Comments on "Always-True is not Invariant": Assertional Reasoning About Invariance.

Jimmi S. Pettersson
Published in: Inf. Process. Lett. (1991)
Keyphrases