@inproceedings{taccohgfgd,
  author    = {Heras, J\'onathan and D\'en\`es, Maxime and Mata, Gadea and M\"ortberg, Anders and Poza, Mar\'ia and Siles, Vincent},
  title     = {{Towards a Certified Computation of Homology Groups for Digital Images}},
  keywords  = {Homology; Discrete Morse Theory; Proof assistant tools; Coq; SSReflect; Synapses},
  booktitle = {Computational Topology in Image Context},
  series    = {Lecture Notes in Computer Science},
  year      = {2012},
  volume    = {7309},
  pages     = {49-57},
  isbn      = {978-3-642-30237-4},
  editor    = {Ferri, Massimo and Frosini, Patrizio and Landi, Claudia and Cerri, Andrea and Di Fabio, Barbara},
  doi       = {10.1007/978-3-642-30238-1_6},
  url       = {http://dx.doi.org/10.1007/978-3-642-30238-1_6},
  publisher = {Springer Berlin Heidelberg},
}