Università di Catania
Seguici su
Cerca

behavioral types.

T-LADIES

Typeful Language Adaptation for Dynamic, Interacting and Evolving Systems