@inproceedings{ silva2008user,
  author = {{Pinheiro Da Silva}, Paulo and {Del Rio}, Nicholas and McGuinness,
	Deborah L and Ding, Li and Chang, Cynthia and Sutcliffe, Geoff},
  title = {{User Interfaces for Portable Proofs}},
  booktitle = {Proceedings of 8th International Workshop On User Interfaces for
	Theorem Provers (UITP'08)},
  year = {2008},
  month = {August},
  file = {:C$\backslash$:/Users/Dani/AppData/Local/Mendeley Ltd./Mendeley Desktop/Downloaded/Pinheiro Da Silva et al. - 2008 - User Interfaces for Portable Proofs.pdf:pdf},
  keywords = {#PML,#understanding,#use},
  mendeley-tags = {#PML,#understanding,#use},
  url = {http://www.ags.uni-sb.de/\~{}omega/workshops/UITP08/}
}

{"_id":{"_str":"5218856caa2f288d1f000297"},"__v":3,"authorIDs":[],"author_short":["Pinheiro Da Silva, P.","Del Rio, N.","McGuinness","L, D.","Ding, L.","Chang, C.","Sutcliffe, G."],"bibbaseid":"pinheirodasilva-delrio-mcguinness-l-ding-chang-sutcliffe-userinterfacesforportableproofs-2008","bibdata":{"author":["Pinheiro Da Silva, Paulo","Del Rio, Nicholas","McGuinness","L, Deborah","Ding, Li","Chang, Cynthia","Sutcliffe, Geoff"],"author_short":["Pinheiro Da Silva, P.","Del Rio, N.","McGuinness","L, D.","Ding, L.","Chang, C.","Sutcliffe, G."],"bibtex":"@inproceedings{ silva2008user,\n author = {{Pinheiro Da Silva}, Paulo and {Del Rio}, Nicholas and McGuinness,\r\n\tDeborah L and Ding, Li and Chang, Cynthia and Sutcliffe, Geoff},\n title = {{User Interfaces for Portable Proofs}},\n booktitle = {Proceedings of 8th International Workshop On User Interfaces for\r\n\tTheorem Provers (UITP'08)},\n year = {2008},\n month = {August},\n file = {:C$\\backslash$:/Users/Dani/AppData/Local/Mendeley Ltd./Mendeley Desktop/Downloaded/Pinheiro Da Silva et al. - 2008 - User Interfaces for Portable Proofs.pdf:pdf},\n keywords = {#PML,#understanding,#use},\n mendeley-tags = {#PML,#understanding,#use},\n url = {http://www.ags.uni-sb.de/\\~{}omega/workshops/UITP08/}\n}","bibtype":"inproceedings","booktitle":"Proceedings of 8th International Workshop On User Interfaces for Theorem Provers (UITP'08)","file":":C$\\backslash$:/Users/Dani/AppData/Local/Mendeley Ltd./Mendeley Desktop/Downloaded/Pinheiro Da Silva et al. - 2008 - User Interfaces for Portable Proofs.pdf:pdf","id":"silva2008user","key":"silva2008user","keywords":"#PML,#understanding,#use","mendeley-tags":"#PML,#understanding,#use","month":"August","title":"User Interfaces for Portable Proofs","type":"inproceedings","url":"http://www.ags.uni-sb.de/\\~omega/workshops/UITP08/","year":"2008","bibbaseid":"pinheirodasilva-delrio-mcguinness-l-ding-chang-sutcliffe-userinterfacesforportableproofs-2008","role":"author","urls":{"Paper":"http://www.ags.uni-sb.de/\\~omega/workshops/UITP08/"},"keyword":["#PML","#understanding","#use"],"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"http://delicias.dia.fi.upm.es/prov-xgCURATED.bib","downloads":0,"keywords":["#pml","#understanding","#use"],"search_terms":["user","interfaces","portable","proofs","pinheiro da silva","del rio","mcguinness","l","ding","chang","sutcliffe"],"title":"User Interfaces for Portable Proofs","title_words":["user","interfaces","portable","proofs"],"year":2008,"dataSources":["drTBSwRdnSo2Wujnd"]}