Publications by Adrian Danis
2013
Eighth Eurosys Conference 2013, EuroSys '13, Prague, Czech Republic, April 2013
@inproceedings{abc, author = {Gernot Heiser and Etienne Le Sueur and Adrian Danis and Aleksander Budzynowski and Tudor-Ioan Salomie and Gustavo Alonso}, booktitle = {Eighth Eurosys Conference 2013, EuroSys {\textquoteright}13, Prague, Czech Republic}, title = {RapiLog: reducing system complexity through verification.}, url = {http://doi.acm.org/10.1145/2465351.2465383}, year = {2013} }