%0 Conference Paper %1 conf/isola/Cook04 %A Cook, Byron %B ISoLA (Preliminary proceedings) %D 2004 %E Margaria, Tiziana %E Steffen, Bernhard %E Philippou, Anna %E Reitenspieß, Manfred %I Department of Computer Science, University of Cyprus %K dblp %P 18-18 %T Finding API usage rule violations in Windows device drivers using Static Driver Verifier. %U http://dblp.uni-trier.de/db/conf/isola/isola2004i.html#Cook04 %V TR-2004-6

@inproceedings{conf/isola/Cook04, added-at = {2008-09-11T00:00:00.000+0200}, author = {Cook, Byron}, biburl = {https://www.bibsonomy.org/bibtex/25a215fb794693927f92237513e46a341/dblp}, booktitle = {ISoLA (Preliminary proceedings)}, crossref = {conf/isola/2004i}, date = {2008-09-11}, description = {dblp}, editor = {Margaria, Tiziana and Steffen, Bernhard and Philippou, Anna and Reitenspieß, Manfred}, interhash = {d41f96184ef11e40e7d7fe69b55adc0a}, intrahash = {5a215fb794693927f92237513e46a341}, keywords = {dblp}, pages = {18-18}, publisher = {Department of Computer Science, University of Cyprus}, series = {Technical Report}, timestamp = {2008-09-12T11:34:32.000+0200}, title = {Finding API usage rule violations in Windows device drivers using Static Driver Verifier.}, url = {http://dblp.uni-trier.de/db/conf/isola/isola2004i.html#Cook04}, volume = {TR-2004-6}, year = 2004 }