MERLIN: Mechanized Reasoning about Languages with Variable Binding Read more about MERLIN: Mechanized Reasoning about Languages with Variable Binding
MEMOCODE: Formal Methods and Models for Co-Design Read more about MEMOCODE: Formal Methods and Models for Co-Design
MELT: Mobile Entity Localization and Tracking in GPS-Less Environment Read more about MELT: Mobile Entity Localization and Tracking in GPS-Less Environment
MEDES: Management of Emergent Digital EcoSystems Read more about MEDES: Management of Emergent Digital EcoSystems
MEDEA: Memory Performance: Dealing With Applications, Systems And Architecture Read more about MEDEA: Memory Performance: Dealing With Applications, Systems And Architecture
Cyprus Libraries Consortium (CLC)