Bernd Holger Schlingloff
AuthID: R-00K-DFZ
1
TITLE: Software Engineering and Formal Methods - 20th International Conference, SEFM 2022, Berlin, Germany, September 26-30, 2022, Proceedings
AUTHORS: Bernd Holger Schlingloff; Ming Chai;
PUBLISHED: 2022, SOURCE: SEFM, VOLUME: 13550
AUTHORS: Bernd Holger Schlingloff; Ming Chai;
PUBLISHED: 2022, SOURCE: SEFM, VOLUME: 13550
INDEXED IN: 
DBLP
DBLP