Verification of Program Transformations with Inductive Refinement Types

Ahmad Salim Al-Sibahi, Thomas P. Jensen, Aleksandar Dimovski, Andrzej Wasowski

Software Quality Research

Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

1 results
- Relevance

VARIETE: Variability in Portfolios of Dependable Systems
Wasowski, A. (PI), Abal, I. (CoI), Mukkamala, R. R. (CoI), Al-Sibahi, A. S. (CoI), Dimovski, A. (CoI) & Iosif-Lazăr, A. F. (CoI)
Independent Research Fund Denmark
01/04/2013 → 31/08/2017
Project: Research