Conference program PDF version for printing, day 1 (576 KB)

Haifa Verification Conference 2010 – Program
'
!
"
,
-
!
!
(
.#
/
$
%
#
.
#
*
%
& '
(
,
!
!
" #
#
,
,
,
0
)
!
(
(
)
%
)
,# +#
1
'
+
$
$
*
" #
$
(
"
.$
#
,
$)
*
!
)
'" #
(
!
2
$
/
$
)
1
,#
! "#$
%
*
" #
%
&
(
$ *
1
)
$
,
,
*
,
.#
https://www.research.ibm.com/haifa/conferences/hvc2010
Similar pages