日本語
ライブラリー > 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
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