N\'estor Cata\~no

Identifiers

• name variant N\'estor Cata\~no 0.60 · backfill

Papers (4)

1. Engaging Millennials into Learning Formal Methods cs.SE · 2018 · author #1
2. A Logical Framework for Verifying Privacy Breaches of Social Networks cs.SE · 2018 · author #1
3. Improving the Reliability of Mobility Applications cs.SE · 2018 · author #1
4. A Machine-Checked Proof for a Translation of Event-B Machines to JML cs.SE · 2013 · author #1

Mentions

• 1309.2339 #1 · backfill · confidence 0.70 N\'estor Cata\~no

Frequent Coauthors

• Camilo Rueda 1 shared papers
• Tim Wahls 1 shared papers