%0 Journal Article %1 journals/entcs/PadioleauLM07 %A Padioleau, Yoann %A Lawall, Julia L. %A Muller, Gilles %D 2007 %J Electron. Notes Theor. Comput. Sci. %K dblp %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{journals/entcs/PadioleauLM07, added-at = {2020-02-24T00:00:00.000+0100}, author = {Padioleau, Yoann and Lawall, Julia L. and Muller, Gilles}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2201c4405f953ff214eefcc945ebc9e00/dblp}, ee = {https://doi.org/10.1016/j.entcs.2006.07.022}, interhash = {9152e74b0faa807ab7fdce0268963508}, intrahash = {201c4405f953ff214eefcc945ebc9e00}, journal = {Electron. Notes Theor. Comput. Sci.}, keywords = {dblp}, pages = {47-62}, timestamp = {2020-04-20T13:08:23.000+0200}, 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}, volume = 166, year = 2007 }