Galois Connections for Recursive Types

Research output: Conference Article in Proceeding or Book/Report chapter › Book chapter › Research › peer-review

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

Projects