Abadi, Martín
101 Publications (1985–2023) indexed |
1,468 Citations |
Co-Authors: | Fournet, Cédric; Blanchet, Bruno; Plotkin, Gordon D.; … |
Main Fields: | Computer science (68-XX); Information and communication theory, circuits (94-XX) |
Published as: | Abadi, Martín; Abadi, Martin; Abadi, M. more... |