%0 Journal Article %1 journals/jar/RideauSL08 %A Rideau, Laurence %A Serpette, Bernard P. %A Leroy, Xavier %D 2008 %J J. Autom. Reasoning %K dblp %N 4 %P 307-326 %T Tilting at Windmills with Coq: Formal Verification of a Compilation Algorithm for Parallel Moves. %U http://dblp.uni-trier.de/db/journals/jar/jar40.html#RideauSL08 %V 40

@article{journals/jar/RideauSL08, added-at = {2008-11-25T00:00:00.000+0100}, author = {Rideau, Laurence and Serpette, Bernard P. and Leroy, Xavier}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2d4bd71783097850df884639d79c1a502/dblp}, ee = {http://dx.doi.org/10.1007/s10817-007-9096-8}, interhash = {dda1762bf30e0bcb2894365f26f6ce2d}, intrahash = {d4bd71783097850df884639d79c1a502}, journal = {J. Autom. Reasoning}, keywords = {dblp}, number = 4, pages = {307-326}, timestamp = {2016-02-02T09:57:46.000+0100}, title = {Tilting at Windmills with Coq: Formal Verification of a Compilation Algorithm for Parallel Moves.}, url = {http://dblp.uni-trier.de/db/journals/jar/jar40.html#RideauSL08}, volume = 40, year = 2008 }