@article{Vij_KRHZRWL_13, isbn = {978-1-934053-62-1}, month = dec, paperurl = {https://trustworthy.systems/publications/nicta_full_text/7690.pdf}, journal = {Intel Technology Journal}, year = {2013}, keywords = {device driver synthesis}, volume = {17}, title = {Device Driver Synthesis}, number = {2}, author = {Vij, Mona and Keys, John and Raghunath, Arun and Hahn, Scott and Zimmer, Vincent and Ryzhyk, Leonid and Walker, Adam Christopher and Legg, Alexander}, pages = {136--157} }