Rooting UNITY

R.T. Gerth, A. Pnueli

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

Original language	English
Title of host publication	Proceedings Fifth International Workshop on Software Specification and Design (Pittsburgh PA, USA, May 1989)
Publisher	IEEE Computer Society
Pages	11-19
Publication status	Published - 1989

Cite this

@inproceedings{aa0a605345d242caa4f02024df2ac782,

title = "Rooting UNITY",

author = "R.T. Gerth and A. Pnueli",

year = "1989",

language = "English",

pages = "11--19",

booktitle = "Proceedings Fifth International Workshop on Software Specification and Design (Pittsburgh PA, USA, May 1989)",

publisher = "IEEE Computer Society",

address = "United States",

}