## Yves Bertot

*Formalizing a JVML Verifier for Initialization in a Theorem Prover*

CAV, 2001.

@inproceedings{CAV-2001-Bertot, author = "Yves Bertot", booktitle = "{Proceedings of the 13th International Conference on Computer Aided Verification}", doi = "10.1007/3-540-44585-4_3", isbn = "3-540-42345-1", pages = "14--24", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Formalizing a JVML Verifier for Initialization in a Theorem Prover}", volume = 2102, year = 2001, }