@inproceedings{dailler:hal-01936302, TITLE = {{Lightweight Interactive Proving inside an Automatic Program Verifier}}, AUTHOR = {Dailler, Sylvain and March{\'e}, Claude and Moy, Yannick}, URL = {https://inria.hal.science/hal-01936302}, BOOKTITLE = {{4th Workshop on Formal Integrated Development Environment}}, ADDRESS = {Oxford, United Kingdom}, EDITOR = {Masci, Paolo and Monahan, Rosemary and Prevosto, Virgile}, PUBLISHER = {{Open Publishing Association}}, SERIES = {Electronic Proceedings in Theoretical Computer Science}, VOLUME = {284}, YEAR = {2018}, PDF = {https://inria.hal.science/hal-01936302/file/article.pdf}, HAL_ID = {hal-01936302}, HAL_VERSION = {v1}, }