Ahmad Salim Al-Sibahi

Identifiers

No identifiers captured yet.

Papers (2)

1. Verification of High-Level Transformations with Inductive Refinement Types cs.PL · 2018 · author #1
2. The Formal Semantics of Rascal Light cs.PL · 2017 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Aleksandar S. Dimovski 1 shared papers
• Andrzej Wasowski 1 shared papers
• Thomas P. Jensen 1 shared papers