Klaus Haller
On the implementation and correctness of information system upgrades
ICSME, 2010.
@inproceedings{ICSM-2010-Haller, author = "Klaus Haller", booktitle = "{Proceedings of the 26th International Conference on Software Maintenance}", doi = "10.1109/ICSM.2010.5609679", isbn = "978-1-4244-8630-4", pages = "1--5", publisher = "{IEEE Computer Society}", title = "{On the implementation and correctness of information system upgrades}", year = 2010, }