Thomas P. Jensen

Identifiers

No identifiers captured yet.

Papers (1)

1. Verification of High-Level Transformations with Inductive Refinement Types cs.PL · 2018 · author #2

Mentions

No mention provenance yet.

Frequent Coauthors

• Ahmad Salim Al-Sibahi 1 shared papers
• Aleksandar S. Dimovski 1 shared papers
• Andrzej Wasowski 1 shared papers