Constructing a calculus of programs

L.G.L.T. Meertens

Research output: Book/Report › Report › Academic

Keywords

@book{4f4c69b7a8b6421ea92cbc4d50a7530a,

title = "Constructing a calculus of programs",

keywords = "Wiskunde en Informatica (WIIN), Mathematics, Informatica, Landbouwwetenschappen, Natuurwetenschappen",

author = "L.G.L.T. Meertens",

year = "1989",

language = "Undefined/Unknown",

isbn = "0924-3275",

volume = "89-09",

publisher = "Unknown Publisher",

edition = "RUU-CS",

}