DSIC

Identifiers

No identifiers captured yet.

Papers (1)

1. Bounded Symbolic Execution for Runtime Error Detection of Erlang Programs cs.PL · 2018 · author #10

Mentions

No mention provenance yet.

Frequent Coauthors

• Adri\'an Palacios (MiST 1 shared papers
• Alberto Pettorossi (University of Roma Tor Vergata 1 shared papers
• Emanuele De Angelis (DEC 1 shared papers
• Fabio Fioravanti (DEC 1 shared papers
• Italy) 1 shared papers
• Maurizio Proietti (CNR-IASI 1 shared papers
• Pescara 1 shared papers
• Roma 1 shared papers
• Spain) 1 shared papers
• Universitat Polit\`ecnica de Val\`encia 1 shared papers
• University "G. d'Annunzio" of Chieti-Pescara 1 shared papers
• Val\`encia 1 shared papers