Elvira Albert

No bio available. Add one in Open Library.

Books by Elvira Albert (50 max)

+ shelf+ list

Logic-Based Program Synthesis and Transformation 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers

2013

Elvira Albert

+ shelf+ list

Integrated Formal Methods 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings

2014

Elvira Albert, Emil Sekerinski

+ shelf+ list

Formal Techniques for Distributed Objects, Components, and Systems 36th IFIP WG 6. 1 International Conference, FORTE 2016, Held As Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings

2016

Elvira Albert, Ivan Lanese

+ shelf+ list

Proceedings of the ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation

2013

Elvira Albert