English
Library > Matthias Güdemann
Formal Methods
Software Engineer
Germany
Philipp Kant,Kevin Hammond,Duncan Coutts,James Chapman,Nicholas Clarke,Jared Corduan,Neil Davies,Javier Díaz,Matthias Güdemann,Wolfgang Jeltsh,Marcin Szamotulski,Polina Vinogradova
August 2020, TFP '20 (LNCS)