Yutaka Nagashima. Smart Induction for Isabelle/HOL (Tool Paper). In 2020 Formal Methods in Computer Aided Design, FMCAD 2020, Haifa, Israel, September 21-24, 2020. pages 245-254, IEEE, 2020. [doi]
@inproceedings{Nagashima20-0,
title = {Smart Induction for Isabelle/HOL (Tool Paper)},
author = {Yutaka Nagashima},
year = {2020},
doi = {10.34727/2020/isbn.978-3-85448-042-6_32},
url = {https://doi.org/10.34727/2020/isbn.978-3-85448-042-6_32},
researchr = {https://researchr.org/publication/Nagashima20-0},
cites = {0},
citedby = {0},
pages = {245-254},
booktitle = {2020 Formal Methods in Computer Aided Design, FMCAD 2020, Haifa, Israel, September 21-24, 2020},
publisher = {IEEE},
isbn = {978-3-85448-042-6},
}