Schlingloff, Holger.
Overview
Works: | 1 works in 1 publications in 1 languages |
---|
Titles
Software engineering and formal methods20th International Conference, SEFM 2022, Berlin, Germany, September 26-30, 2022 : proceedings /
by:
(1998 :); Chai, Ming.; Schlingloff, Holger.; SpringerLink (Online service)
(Electronic resources)