Synthesizing Different Development Paradigms: Combining Top-Down with Bottom-Up Reasoning about Distributed Systems

Jakob Zwiers, U. Hannemann, W.P. de Roever, Y. Lakhneche

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

Original language	Undefined
Title of host publication	Proceedings of Foundations of Software Technology and Theoretical Computer Science 15
Pages	80-95
Publication status	Published - 26 Jan 1995

Keywords

@inproceedings{bf7e854fb78e42978af26cbe950d8e41,

title = "Synthesizing Different Development Paradigms: Combining Top-Down with Bottom-Up Reasoning about Distributed Systems",

keywords = "METIS-119275",

author = "Jakob Zwiers and U. Hannemann and \{de Roever\}, W.P. and Y. Lakhneche",

year = "1995",

month = jan,

day = "26",

language = "Undefined",

pages = "80--95",

booktitle = "Proceedings of Foundations of Software Technology and Theoretical Computer Science 15",

}

Synthesizing Different Development Paradigms: Combining Top-Down with Bottom-Up Reasoning about Distributed Systems. / Zwiers, Jakob; Hannemann, U.; de Roever, W.P. et al.
Proceedings of Foundations of Software Technology and Theoretical Computer Science 15. 1995. p. 80-95.

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

TY - GEN

T1 - Synthesizing Different Development Paradigms: Combining Top-Down with Bottom-Up Reasoning about Distributed Systems

AU - Zwiers, Jakob

AU - Hannemann, U.

AU - de Roever, W.P.

AU - Lakhneche, Y.

PY - 1995/1/26

Y1 - 1995/1/26

KW - METIS-119275

M3 - Conference contribution

SP - 80

EP - 95

BT - Proceedings of Foundations of Software Technology and Theoretical Computer Science 15

ER -