A computer checked algebraic verification of a distributed summation algorithm

Jan Friso Groote, François Monin, Jan Springintveld

Research output: Contribution to journalArticleAcademicpeer-review

1 Citation (Scopus)
Original languageEnglish
Pages (from-to)19-37
Number of pages19
JournalFormal Aspects of Computing
Volume17
Issue number1
DOIs
Publication statusPublished - 2005

Cite this