Demis Ballis

Identifiers

• name variant Demis Ballis 0.50 · backfill

Papers (1)

1. Symbolic Analysis of Maude Theories with Narval cs.LO · 2019 · author #2

Mentions

No mention provenance yet.

Frequent Coauthors

• Julia Sapi\~na 1 shared papers
• Mar\'ia Alpuente 1 shared papers
• Santiago Escobar 1 shared papers