Tim Wahls
Identifiers
- name variant Tim Wahls 0.60 · backfill
Papers (2)
- Formal Semantics and Soundness of a Translation from Event-B Actions to SQL Statements cs.SE · 2016 · author #1
- A Machine-Checked Proof for a Translation of Event-B Machines to JML cs.SE · 2013 · author #3
Mentions
- 1309.2339 #3 · backfill · confidence 0.70 Tim Wahls
Frequent Coauthors
- Camilo Rueda 1 shared papers
- N\'estor Cata\~no 1 shared papers