A computer checked algebraic verification of a distributed summation algorithm

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

Onderzoeksoutput: Boek/rapportRapportAcademic

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

Citeer dit