@inproceedings{stratulat:inria-00525187, TITLE = {{Integrating Implicit Induction Proofs into Certified Proof Environments}}, AUTHOR = {Stratulat, Sorin}, URL = {https://inria.hal.science/inria-00525187}, NOTE = {The original publication is available at www.springerlink.com.}, BOOKTITLE = {{Integrated Formal Methods - IFM 2010}}, ADDRESS = {Nancy, France}, ORGANIZATION = {{INRIA Nancy Grand Est}}, EDITOR = {Mery and Dominique and Merz and Stephan}, PUBLISHER = {{Springer Berlin / Heidelberg}}, SERIES = {Lecture Notes in Computer Science}, VOLUME = {6396}, PAGES = {320-335}, YEAR = {2010}, MONTH = Oct, HAL_ID = {inria-00525187}, HAL_VERSION = {v1}, }