Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/mkm/WhitesideADG11
%A Whiteside, Iain
%A Aspinall, David
%A Dixon, Lucas
%A Grov, Gudmund
%B Calculemus/MKM
%D 2011
%E Davenport, James H.
%E Farmer, William M.
%E Urban, Josef
%E Rabe, Florian
%I Springer
%K
%P 260-275
%T Towards Formal Proof Script Refactoring.
%U http://dblp.uni-trier.de/db/conf/mkm/mkm2011.html#WhitesideADG11
%V 6824
%@ 978-3-642-22672-4
@inproceedings{conf/mkm/WhitesideADG11,
added-at = {2023-12-12T19:28:49.000+0100},
author = {Whiteside, Iain and Aspinall, David and Dixon, Lucas and Grov, Gudmund},
biburl = {https://www.bibsonomy.org/bibtex/29b256ce22f907b9d3874de29289048ee/admin},
booktitle = {Calculemus/MKM},
crossref = {conf/mkm/2011},
editor = {Davenport, James H. and Farmer, William M. and Urban, Josef and Rabe, Florian},
ee = {https://doi.org/10.1007/978-3-642-22673-1_18},
interhash = {2158d5f92a7e54e6ccfe33c78bc41abf},
intrahash = {9b256ce22f907b9d3874de29289048ee},
isbn = {978-3-642-22672-4},
keywords = {},
pages = {260-275},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2023-12-12T19:28:49.000+0100},
title = {Towards Formal Proof Script Refactoring.},
url = {http://dblp.uni-trier.de/db/conf/mkm/mkm2011.html#WhitesideADG11},
volume = 6824,
year = 2011
}