English
Library > Wolfgang Jeltsch
Software Engineer
Well-Typed
UK
Wolfgang Jeltsch,Javier Roberto Diaz
June/2023, ICE '23
September/2022, FROM '22
MULTICAST
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