Programming, proving, and calculation

W.H.J. Feijen, A.J.M. Gasteren, van

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

1 Downloads (Pure)

Abstract

No abstract.

Original language	English
Title of host publication	Teaching and Learning Formal Methods
Editors	C.N. Dean, M.G. Hinchey
Place of Publication	London
Publisher	Academic Press Inc.
Pages	197-243
ISBN (Print)	0-12-349040-5
Publication status	Published - 1996

@inbook{baf85115871046beac99df727806f0eb,

title = "Programming, proving, and calculation",

abstract = "No abstract.",

author = "W.H.J. Feijen and {Gasteren, van}, A.J.M.",

year = "1996",

language = "English",

isbn = "0-12-349040-5",

pages = "197--243",

editor = "C.N. Dean and M.G. Hinchey",

booktitle = "Teaching and Learning Formal Methods",

publisher = "Academic Press Inc.",

address = "United States",

}