Formal methods and mechanical verification applied to the development of a convergent distributed sorting program
Publication date
1996
Authors
Vos, T.E.J.
Swierstra, Doaitse
Prasetya, Wishnu
Editors
Advisors
Supervisors
DOI
Document Type
Report
Metadata
Show full item recordCollections
License
Abstract
Keywords
Wiskunde en Informatica (WIIN), Ordered by external client
Citation
Vos, T E J, Swierstra, S D & Prasetya, I S W B 1996, Formal methods and mechanical verification applied to the development of a convergent distributed sorting program. vol. 1996-37, UU-CS edn, Utrecht University: Information and Computing Sciences, Utrecht, the Netherlands. < http://www.cs.uu.nl/research/techreps/UU-CS-1996-37.html >