@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}
}