A computer checked algebraic verification of a distributed summation algorithm

J.F. Groote, F.G. Monin, J. Springintveld

Onderzoeksoutput: Boek/rapport › Rapport › Academic

117 Downloads (Pure)
Originele taal-2Engels
Plaats van productieEindhoven
UitgeverijTechnische Universiteit Eindhoven
Aantal pagina's28
StatusGepubliceerd - 1997

Publicatie series

NaamComputing science reports
Volume9714
ISSN van geprinte versie0926-4515

Toegang tot document

  • 9716165Definitieve gepubliceerde versie, 0,99 MB

    Citeer dit