home	education	contact	library	calendar	search
	about us	research	people	archive	services	jobs

technical report UU-CS-1996-37

select other reports

• technical report index page

report

techrep_id	file	title / author
UU-CS-1996-37	ps.gz pdf	Formal methods and mechanical verification applied to the development of a convergent distributed sorting program T.E.J. Vos, S. D. Swierstra, S. W. B. Prasetya

indexed authors

author		group
Prasetya, dr. S.W.B.	all reports	software technology	all reports
Swierstra, prof. dr. S.D.	all reports	software technology	all reports
Vos, dr. T.E.J.	all reports	software technology	all reports

BibTeX entry

@TECHREPORT{UUCS199637,
author = {Vos, T.E.J. and Swierstra, S.~D. and Prasetya, S.~W.~B.},
year = 1996,
title = {Formal methods and mechanical verification applied to the development of a convergent distributed sorting program},
number = {UU-CS-1996-37},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-1996/1996-37.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1996/1996-37.pdf}},
pubcat = {techreport}
}