Elvira Albert
Elvira Albert
4 ספרים במאגר
ספרים
Logic-Based Program Synthesis and TransformationElvira Albert
Logic-Based Program Synthesis and Transformation
Elvira Albert · 2013
Formal Techniques for Distributed Objects, Components, and SystemsElvira Albert
Formal Techniques for Distributed Objects, Components, and Systems
Elvira Albert · 2016
Integrated Formal MethodsElvira Albert
Integrated Formal Methods
Elvira Albert · 2014
Proceedings of the ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program ManipulationElvira Albert
Proceedings of the ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation
Elvira Albert · 2013