INTERNATIONAL SYMPOSIUM
on
VERIFICATION
(THEORY & PRACTICE)
CELEBRATING
ZOHAR MANNA'S
10000002-th BIRTHDAY
Sponsors:
University of Pisa
School of Computer Science of Tel Aviv University
Dipartimento di Matematica e Informatica of Catania University
Proceedings to be published in LNCS
series (vol. 2772)
(Contents)
Organized by N.
Dershowitz
Local
Arrangements Link
Zohar's
Students
Zohar's
Publications