Hypertext navigation of ACL2 proofs with XMLEye
- García-Domínguez, A.
- Palomo-Lozano, F.
- Medina-Bulo, I.
Aktak:
ACM International Conference Proceeding Series
ISBN: 9781605587424
Argitalpen urtea: 2009
Orrialdeak: 47-56
Mota: Biltzar ekarpena