equal
deleted
inserted
replaced
825 crossref = {hug93}, |
825 crossref = {hug93}, |
826 pages = {141-154}} |
826 pages = {141-154}} |
827 |
827 |
828 %H |
828 %H |
829 |
829 |
|
830 @manual{Haftmann-codegen,author={Florian Haftmann}, |
|
831 title={Code generation from {Isabelle/HOL} theories}, |
|
832 note={\url{http://isabelle.in.tum.de/doc/codegen.pdf}}} |
|
833 |
830 @inproceedings{Haftmann-Kraus-Kuncar-Nipkow:2013:data_refinement, |
834 @inproceedings{Haftmann-Kraus-Kuncar-Nipkow:2013:data_refinement, |
831 author = {Florian Haftmann and Alexander Krauss and Ond\v{r}ej Kun\v{c}ar and Tobias Nipkow}, |
835 author = {Florian Haftmann and Alexander Krauss and Ond\v{r}ej Kun\v{c}ar and Tobias Nipkow}, |
832 title = {Data Refinement in {Isabelle/HOL}}, |
836 title = {Data Refinement in {Isabelle/HOL}}, |
833 booktitle = {Interactive Theorem Proving (ITP 2013)}, |
837 booktitle = {Interactive Theorem Proving (ITP 2013)}, |
834 pages = {100-115}, |
838 pages = {100-115}, |