Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Zohar Event
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