Login / Signup

Causality and Responsibility for Formal Verification and Beyond.

Hana Chockler
Published in: CREST@ETAPS (2016)
Keyphrases