Bohus Ondrusek

Publication Activity (10 Years)

Years Active: 2006-2006
Publications (10 Years): 0

Publications

Thomas Ball, Ella Bounimova, Byron Cook, Vladimir Levin, Jakob Lichtenberg, Con McGarvey, Bohus Ondrusek, Sriram K. Rajamani, Abdullah Ustuner
Thorough static analysis of device drivers. EuroSys (2006)