Listing items by Author "Albert, Elvira"
One item found:
| Format | Date | Title | Author |
|---|---|---|---|
| Format | Date | Title | Author |
|
Resource Analysis driven by (Conditional) Termination Proofs | Albert, Elvira ; Bofill Arasa, Miquel ; Borralleras, Cristina ; MartÃn-MartÃn, Enrique ; Rubio, Albert |
