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
Year of publication: 1997
Volume: 1333
Pages: 501-513
Type: Conference paper
ISSN: 1611-3349, 0302-9743
ISBN: 9783540638117
Year of publication: 1997
Volume: 1333
Pages: 501-513
Type: Conference paper