Università di Catania
Seguici su
Cerca

formal methods in computer science

T-LADIES

Typeful Language Adaptation for Dynamic, Interacting and Evolving Systems