Orna Grumberg
First name(s): Orna
Last name(s): Grumberg

Publications of Orna Grumberg sorted by first author

M

Till Mossakowski, Christian Maeder and Klaus Lüttich, The Heterogeneous Tool Set, in: TACAS 2007, pages 519-522, Springer-Verlag Heidelberg, 2007
download