%0 Journal Article %1 journals/afp/FeliachiWG12 %A Feliachi, Abderrahmane %A Wolff, Burkhart %A Gaudel, Marie-Claude %D 2012 %J Arch. Formal Proofs %K dblp %T Isabelle/Circus. %U http://dblp.uni-trier.de/db/journals/afp/afp2012.html#FeliachiWG12 %V 2012

@article{journals/afp/FeliachiWG12, added-at = {2020-05-25T00:00:00.000+0200}, author = {Feliachi, Abderrahmane and Wolff, Burkhart and Gaudel, Marie-Claude}, biburl = {https://www.bibsonomy.org/bibtex/2bf873d3d91c82ff925f98e90e118b744/dblp}, ee = {https://www.isa-afp.org/entries/Circus.shtml}, interhash = {e0cd85b830f6755acfd2d8e132964105}, intrahash = {bf873d3d91c82ff925f98e90e118b744}, journal = {Arch. Formal Proofs}, keywords = {dblp}, timestamp = {2020-05-26T11:50:33.000+0200}, title = {Isabelle/Circus.}, url = {http://dblp.uni-trier.de/db/journals/afp/afp2012.html#FeliachiWG12}, volume = 2012, year = 2012 }