@techreport{dicosmo:edos,
author = {Cosmo, Roberto Di},
date-added = {2020-11-15 23:36:57 -0800},
date-modified = {2020-11-15 23:36:57 -0800},
institution = {{INRIA}},
month = may,
note = {hal-00697463},
title = {{EDOS deliverable WP2-D2.1: Report on Formal Management of Software Dependencies}},
year = {2005},
bdsk-file-1 = {YnBsaXN0MDDSAQIDBFxyZWxhdGl2ZVBhdGhZYWxpYXNEYXRhXxAYcGFwZXJzL2RpY29zbW9lZG9zLWEucGRmTxEBbAAAAAABbAACAAAMTWFjaW50b3NoIEhEAAAAAAAAAAAAAAAAAAAAAAAAAEJEAAH/////EWRpY29zbW9lZG9zLWEucGRmAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAP////8AAAAAAAAAAAAAAAAAAQADAAAKIGN1AAAAAAAAAAAAAAAAAAZwYXBlcnMAAgA3LzpVc2VyczpnYW1ibGluMjpzcmM6YnVpbGQtYmliOnBhcGVyczpkaWNvc21vZWRvcy1hLnBkZgAADgAkABEAZABpAGMAbwBzAG0AbwBlAGQAbwBzAC0AYQAuAHAAZABmAA8AGgAMAE0AYQBjAGkAbgB0AG8AcwBoACAASABEABIANVVzZXJzL2dhbWJsaW4yL3NyYy9idWlsZC1iaWIvcGFwZXJzL2RpY29zbW9lZG9zLWEucGRmAAATAAEvAAAVAAIAD///AAAACAANABoAJAA/AAAAAAAAAgEAAAAAAAAABQAAAAAAAAAAAAAAAAAAAa8=},
bdsk-url-1 = {https://hal.inria.fr/hal-00697463}
}