Login / Signup

Automated Conversion of Axiomatic to Operational Models: Theory and Practice.

Adwait GodboleYatin A. ManerkarSanjit A. Seshia
Published in: CoRR (2022)
Keyphrases