STORE
search
⌘K
Explore
Salon
Quotes
Lists
Reviews
Writings
—
Changelog
About
Contact
Privacy
Donate
Elvira Albert | lit.salon
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