日本語
ライブラリー > Wolfgang Jeltsch
Software Engineer
Well-Typed
UK
Wolfgang Jeltsch,Javier Roberto Diaz
June 2023, ICE '23
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