BibTeX record conf/mkm/Petrovic14

• > Home > conf/mkm/Petrovic14

@inproceedings{DBLP:conf/mkm/Petrovic14,
  author       = {Danijela Petrovic},
  editor       = {Matthew England and
                  James H. Davenport and
                  Andrea Kohlhase and
                  Michael Kohlhase and
                  Paul Libbrecht and
                  Walther Neuper and
                  Pedro Quaresma and
                  Alan P. Sexton and
                  Petr Sojka and
                  Josef Urban and
                  Stephen M. Watt},
  title        = {Using Small-Step Refinement For Algorithm Verification In Computer
                  Science Education},
  booktitle    = {Joint Proceedings of the MathUI, OpenMath and ThEdu Workshops and
                  Work in Progress track at {CICM} co-located with Conferences on Intelligent
                  Computer Mathematics {(CICM} 2014), Coimbra, Portugal, July 7-11,
                  2014},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1186},
  publisher    = {CEUR-WS.org},
  year         = {2014},
  url          = {https://ceur-ws.org/Vol-1186/paper-18.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:18 +0100},
  biburl       = {https://dblp.org/rec/conf/mkm/Petrovic14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}