Andrzej Wasowski

Identifiers

No identifiers captured yet.

Papers (2)

1. Variability Abstraction and Refinement for Game-based Lifted Model Checking of full CTL (Extended Version) cs.PL · 2019 · author #3
2. Verification of High-Level Transformations with Inductive Refinement Types cs.PL · 2018 · author #4

Mentions

No mention provenance yet.

Frequent Coauthors

• Aleksandar S. Dimovski 2 shared papers
• Ahmad Salim Al-Sibahi 1 shared papers
• Axel Legay 1 shared papers
• Thomas P. Jensen 1 shared papers