English
Library > Javier Roberto Diaz
Software Engineer
Atix
Argentina
Wolfgang Jeltsch,Javier Roberto Diaz
June/2023, ICE '23
Joachim Zahnentferner,Dmytro Kaidalov,Jean-Frédéric Etienne,Javier Roberto Diaz
May/2023, CBC '23
STABLECOIN
September/2022, FROM '22
MULTICAST
Philipp Kant,Kevin Hammond,Duncan Coutts,James Chapman,Nicholas Clarke,Jared Corduan,Neil Davies,Javier Roberto Diaz,Matthias Güdemann,Wolfgang Jeltsch,Marcin Szamotulski,Polina Vinogradova
August/2020, TFP '20 (LNCS)
FORMALMETHODS