From sequential to distributed formal proofs
- Gulías, V.M.
- Jorge, J.S.
- Quintela, J.J.
- Freire, J.L.
ISSN: 1611-3349, 0302-9743
ISBN: 9783540638117
Año de publicación: 1997
Volumen: 1333
Páginas: 501-513
Tipo: Aportación congreso
ISSN: 1611-3349, 0302-9743
ISBN: 9783540638117
Año de publicación: 1997
Volumen: 1333
Páginas: 501-513
Tipo: Aportación congreso