Provably correct systems

Jonathan Bowen; Charles A. R. Hoare; Michael Reichhardt Hansen; Anders P. Ravn; Hans Rischel; Ernst-Rüdiger Olderog; Michael Schenke; Martin Fränzle; Markus Müller-Olm; He Jifeng; Zheng Jianping

Provably correct systems

Jonathan Bowen, Charles A. R. Hoare, Michael Reichhardt Hansen, Anders P. Ravn, Hans Rischel, Ernst-Rüdiger Olderog, Michael Schenke, Martin Fränzle, Markus Müller-Olm, He Jifeng, Zheng Jianping

Research output: Book/Report › Compendium/lecture notes

Original language	English

Publication status	Published - 1994

Access to Document

http://www2.imm.dtu.dk/pubdb/p.php?1797

OpenUrl availability

Full text

Cite this

@book{88bf102c6b6a4de69021a59f77140a48,

title = "Provably correct systems",

author = "Jonathan Bowen and Hoare, {Charles A. R.} and Hansen, {Michael Reichhardt} and Ravn, {Anders P.} and Hans Rischel and Ernst-R{\"u}diger Olderog and Michael Schenke and Martin Fr{\"a}nzle and Markus M{\"u}ller-Olm and He Jifeng and Zheng Jianping",

year = "1994",

language = "English",

}

TY - BOOK

T1 - Provably correct systems

AU - Bowen, Jonathan

AU - Hoare, Charles A. R.

AU - Hansen, Michael Reichhardt

AU - Ravn, Anders P.

AU - Rischel, Hans

AU - Olderog, Ernst-Rüdiger

AU - Schenke, Michael

AU - Fränzle, Martin

AU - Müller-Olm, Markus

AU - Jifeng, He

AU - Jianping, Zheng

PY - 1994

Y1 - 1994

M3 - Compendium/lecture notes

BT - Provably correct systems

ER -