%0 Conference Paper %1 journals/corr/Tankink13 %A Tankink, Carst %B UITP %D 2012 %E Kaliszyk, Cezary %E Lüth, Christoph %K dblp %P 42-56 %T Proof in Context - Web Editing with Rich, Modeless Contextual Feedback. %U http://dblp.uni-trier.de/db/series/eptcs/eptcs118.html#Tankink13 %V 118

@inproceedings{journals/corr/Tankink13, added-at = {2018-09-12T00:00:00.000+0200}, author = {Tankink, Carst}, biburl = {https://www.bibsonomy.org/bibtex/298211a36c83804a43243a8c22cac97ea/dblp}, booktitle = {UITP}, crossref = {journals/corr/KaliszykL13}, editor = {Kaliszyk, Cezary and Lüth, Christoph}, ee = {http://arxiv.org/abs/1307.1943}, interhash = {755b941c8cafeeaf4835e51934793b54}, intrahash = {98211a36c83804a43243a8c22cac97ea}, keywords = {dblp}, pages = {42-56}, series = {EPTCS}, timestamp = {2024-04-09T09:29:44.000+0200}, title = {Proof in Context - Web Editing with Rich, Modeless Contextual Feedback.}, url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs118.html#Tankink13}, volume = 118, year = 2012 }