Tim Wahls

Identifiers

• name variant Tim Wahls 0.60 · backfill

Papers (2)

1. Formal Semantics and Soundness of a Translation from Event-B Actions to SQL Statements cs.SE · 2016 · author #1
2. 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