English
Library > 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