|
AFFORD19: WORKSHOP ON PRACTICAL FORMAL VERIFICATION FOR SOFTWARE DEPENDABILITY
TALK AUTHOR INDEX
A | Arcaini, Paolo | | B | Banach, Richard | | Baranová, Zuzana | | Bonfanti, Silvia | | Butler, Michael | | D | Dalvandi, Mohammadsadegh | | Debicki, Olivier | | G | Gargantini, Angelo | | L | Lecomte, Thierry | | Lesecq, Suzanne | | M | Masci, Paolo | | R | Razavi, Joseph | | Riccobene, Elvinia | | Ročkai, Petr | | S | Scandurra, Patrizia | |
|
|