%0 Journal Article %1 Padioleau2007 %A Padioleau, Yoann %A Lawall, Julia L. %A Muller, Gilles %D 2007 %J Electr. Notes Theor. Comput. Sci. %K dblp linux puma test %P 47-62 %T SmPL: A Domain-Specific Language for Specifying Collateral Evolutions in Linux Device Drivers. %U http://dblp.uni-trier.de/db/journals/entcs/entcs166.html#PadioleauLM07 %V 166

@article{Padioleau2007, added-at = {2015-10-12T20:43:10.000+0200}, author = {Padioleau, Yoann and Lawall, Julia L. and Muller, Gilles}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2e0d326e1047f493083c434946478c1ac/droessler}, ee = {http://dx.doi.org/10.1016/j.entcs.2006.07.022}, groups = {public}, interhash = {9152e74b0faa807ab7fdce0268963508}, intrahash = {e0d326e1047f493083c434946478c1ac}, journal = {Electr. Notes Theor. Comput. Sci.}, keywords = {dblp linux puma test}, pages = {47-62}, timestamp = {2016-11-25T10:30:09.000+0100}, title = {SmPL: A Domain-Specific Language for Specifying Collateral Evolutions in Linux Device Drivers.}, url = {http://dblp.uni-trier.de/db/journals/entcs/entcs166.html#PadioleauLM07}, username = {droessler}, volume = 166, year = 2007 }