Frédéric Voisin
A new Proof-Manager and Graphic Interface for the Larch Prover
TAPSOFT, 1997.
@inproceedings{TAPSOFT-1997-Voisin, author = "Frédéric Voisin", booktitle = "{Proceedings of the Seventh International Joint Conference on Theory and Practice of Software Development}", doi = "10.1007/BFb0030648", isbn = "3-540-62781-2", pages = "863--866", publisher = "{Springer}", title = "{A new Proof-Manager and Graphic Interface for the Larch Prover}", year = 1997, }