Formal methods and mechanical verification applied to the development of a convergent distributed sorting program

Research output: Book/Report › Report › Academic

Original language	Undefined/Unknown
Place of Publication	Utrecht, the Netherlands
Publisher	Utrecht University: Information and Computing Sciences
Volume	1996-37
Edition	UU-CS
ISBN (Print)	0924-3275
Publication status	Published - 1996

Keywords

@book{93047eb19bc34c29a94dc80281bb40b0,

title = "Formal methods and mechanical verification applied to the development of a convergent distributed sorting program",

keywords = "Wiskunde en Informatica (WIIN)",

author = "T.E.J. Vos and S.D. Swierstra and I.S.W.B. Prasetya",

year = "1996",

language = "Undefined/Unknown",

isbn = "0924-3275",

volume = "1996-37",

publisher = "Utrecht University: Information and Computing Sciences",

edition = "UU-CS",

}

TY - BOOK

T1 - Formal methods and mechanical verification applied to the development of a convergent distributed sorting program

AU - Vos, T.E.J.

AU - Swierstra, S.D.

AU - Prasetya, I.S.W.B.

PY - 1996

Y1 - 1996

KW - Wiskunde en Informatica (WIIN)

M3 - Report

SN - 0924-3275

VL - 1996-37

BT - Formal methods and mechanical verification applied to the development of a convergent distributed sorting program

PB - Utrecht University: Information and Computing Sciences

CY - Utrecht, the Netherlands

ER -