日本語
ライブラリー > Jared Corduan
Software Engineering Lead
Engineering
USA
Christian Badertscher,Nicholas Clarke,Jared Corduan,Duncan Coutts,Peter Gaži,Philipp Kant,Prof Aggelos Kiayias,Prof Alexander Russell
May 2021, IOHK
CARDANO
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