%0 Journal Article %1 journals/corr/abs-cs-0603118 %A Bertot, Yves %D 2006 %J CoRR %K dblp %T Coq in a Hurry %U http://dblp.uni-trier.de/db/journals/corr/corr0603.html#abs-cs-0603118 %V abs/cs/0603118

@article{journals/corr/abs-cs-0603118, added-at = {2018-08-13T00:00:00.000+0200}, author = {Bertot, Yves}, biburl = {https://www.bibsonomy.org/bibtex/2487bdc8edc1061e8cca19a58872ee7a2/dblp}, ee = {http://arxiv.org/abs/cs/0603118}, interhash = {e5025399f8f92c59e9ac4412b9d69c14}, intrahash = {487bdc8edc1061e8cca19a58872ee7a2}, journal = {CoRR}, keywords = {dblp}, timestamp = {2018-08-14T13:56:09.000+0200}, title = {Coq in a Hurry}, url = {http://dblp.uni-trier.de/db/journals/corr/corr0603.html#abs-cs-0603118}, volume = {abs/cs/0603118}, year = 2006 }