A Framework for Automated Verification in Software Escrow

Elisabeth Weigl, Johannes Binder, Stephan Strodl, Barbara Kolany, Daniel Draws, Andreas Rauber. A Framework for Automated Verification in Software Escrow. In José Borbinha, Michael Nelson, Steve Knight, editors, Proceedings of the 10th International Conference on Digital Preservation, iPRES 2013, Lisbon, Portugal, September 2 - 6, 2013. 2013. [doi]

@inproceedings{WeiglBSKDR13,
  title = {A Framework for Automated Verification in Software Escrow},
  author = {Elisabeth Weigl and Johannes Binder and Stephan Strodl and Barbara Kolany and Daniel Draws and Andreas Rauber},
  year = {2013},
  url = {http://hdl.handle.net/11353/10.377372},
  researchr = {https://researchr.org/publication/WeiglBSKDR13},
  cites = {0},
  citedby = {0},
  booktitle = {Proceedings of the 10th International Conference on Digital Preservation, iPRES 2013, Lisbon, Portugal, September 2 - 6, 2013},
  editor = {José Borbinha and Michael Nelson and Steve Knight},
}