Login / Signup

Outcome Logic: A Unifying Foundation for Correctness and Incorrectness Reasoning.

Noam ZilbersteinDerek DreyerAlexandra Silva
Published in: CoRR (2023)
Keyphrases