|
FMBC'19: WORKSHOP ON FORMAL METHODS FOR BLOCKCHAINS
TALK AUTHOR INDEX
A | Aiello, Anthony | | Alturki, Musab A. | | Annenkov, Danil | | B | Beckert, Bernhard | | Bernardo, Bruno | | Bobot, François | | C | Cauderlier, Raphaël | | Chen, Jing | | Conchon, Sylvain | | Crafa, Silvia | | D | Di Pirro, Matteo | | E | Eijkel, Dennis | | F | Fehnker, Ansgar | | H | Hu, Zhenlei | | K | Kanig, Johannes | | Korneva, Alexandrina | | Kurita, Taro | | L | Luchangco, Victor | | M | Mandrykin, Mikhail | | Moore, Brandon | | N | Nehaï, Zeinab | | Nielsen, Jakob Botsch | | O | O'Shannessy, Jake | | P | Palmskog, Karl | | Payne, Jacob | | Pesin, Basile | | Peña, Lucas | | R | Roşu, Grigore | | S | Schiffl, Jonas | | Sergey, Ilya | | Shchepetkov, Ilya | | Spitters, Bas | | T | Tesson, Julien | | U | Ulbrich, Mattias | | Z | Zaidi, Fatiha | |
|
|