@inproceedings{TUW-224664, author = {Binder, Johannes and Weigl, Elisabeth and Strodl, Stephan and Draws, A. and Rauber, Andreas}, title = {A Framework for Automated Verification in Software Escrow}, booktitle = {iPRES 2013 - 10th International Conference on Preservation of Digital Objects}, year = {2013}, pages = {95--103}, publisher = {Biblioteca Nacional de Portugal}, address = {1}, isbn = {978-972-565-493-4} }