bib.bib 490 Bytes
Newer Older
1
2
3
4
5
6
7
8
@misc{scaladoccolperf, title={{Scala Documentation} {Collections} Performance Characteristics}, howpublished = {\url{https://docs.scala-lang.org/overviews/collections/performance-characteristics.html}}, journal={Scala Documentation}, publisher={scala-lang.org}, note={Accessed: 2018-06-14}} 

@article{rupprecht2017flexible,
  title={A Flexible, Interactive Theory-Graph Viewer},
  author={Rupprecht, Marcel and Kohlhase, Michael and M{\"u}ller, Dennis},
  journal={MathUI},
  year={2017}
}