Login / Signup

Verifying Graph Transformations with Guarded Logics.

Jon Haël BrenasRachid EchahedMartin Strecker
Published in: TASE (2018)
Keyphrases