日本語
ライブラリー > Nicholas Clarke
Software Engineer
Tweag
UK
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