Login / Signup

On the completeness of compositional reasoning methods.

Kedar S. NamjoshiRichard J. Trefler
Published in: ACM Trans. Comput. Log. (2010)
Keyphrases