@doctoralThesis{Alkassar_2009,
title={OS verification extended : on the formal verification of device drivers and the correctness of client/server software},
author={Alkassar, Eyad},
doi={http://dx.doi.org/10.22028/D291-25944},
year={2009}
}