Login / Signup

Integration of state machine graphical animation and Maude to facilitate characteristic conjecture: an approach to lemma discovery in theorem proving.

Dang Duy BuiDuong Dinh TranKazuhiro OgataAdrián Riesco
Published in: Multim. Tools Appl. (2024)
Keyphrases