Elvira Albert · 4 obras en el catálogoObrasLogic-Based Program Synthesis and TransformationFormal Techniques for Distributed Objects, Components, and SystemsIntegrated Formal MethodsPProceedings of the ACM SIGPLAN 2013 Workshop on Partial EvalProceedings of the ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation
PProceedings of the ACM SIGPLAN 2013 Workshop on Partial EvalProceedings of the ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation
