Paper  bibtex   

@inproceedings{Davida,
title = {JOBAD/MMT -- Interactive Mathematics},
author = {Catalin David and Michael Kohlhase and Christoph Lange and Florian Rabe and Vyacheslav Zholudev},
url = {http://sites.google.com/a/fh-hannover.de/aimashup/home/jobad},
crossref = {AIMashup10},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}