Galois Connections for Recursive Types

Ahmad Salim Al-Sibahi, Thomas P. Jensen, Rasmus Ejlers Møgelberg, Andrzej Wasowski

Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Bidrag til bog/antologi › Forskning › peer review

1 resultater
- Relevans

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)
Danmarks Frie Forskningsfond
01/04/2013 → 31/08/2017
Projekter: Projekt › Forskning