Sergio P\'erez

Identifiers

No identifiers captured yet.

Papers (5)

1. Enhancing POI testing approach through the use of additional information cs.PL · 2018 · author #1
2. Runtime verification in Erlang by using contracts cs.PL · 2018 · author #3
3. Erlang Code Evolution Control (Use Cases) cs.PL · 2018 · author #2
4. Erlang Code Evolution Control cs.PL · 2017 · author #2
5. On the reflexivity of $\mathcal{P}_{w}(^{n}E;F)$ math.FA · 2017 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Salvador Tamarit 4 shared papers
• David Insa 2 shared papers
• Josep Silva 2 shared papers
• Julio Mari\~no 1 shared papers
• Lars-{\AA}ke Fredlund 1 shared papers