Bernd Holger Schlingloff
AuthID: R-00K-DFZ
1
TÃTULO: Software Engineering and Formal Methods - 20th International Conference, SEFM 2022, Berlin, Germany, September 26-30, 2022, Proceedings
AUTORES: Bernd Holger Schlingloff; Ming Chai;
PUBLICAÇÃO: 2022, FONTE: SEFM, VOLUME: 13550
AUTORES: Bernd Holger Schlingloff; Ming Chai;
PUBLICAÇÃO: 2022, FONTE: SEFM, VOLUME: 13550
INDEXADO EM: 
DBLP
DBLP