Program refinement in UNITY

T.E.J. Vos, S.D. Swierstra

Research output: Book/Report › Report › Academic

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

Keywords

@book{72893ec7476543e883e24c44756bd86f,

title = "Program refinement in UNITY",

keywords = "Wiskunde en Informatica (WIIN)",

author = "T.E.J. Vos and S.D. Swierstra",

year = "2001",

language = "Undefined/Unknown",

isbn = "0924-3275",

volume = "2001-41",

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

edition = "UU-CS",

}