Formal Methods for Software Engineering Languages, Methods, Application Domains Roggenbach Markus Heftet / 2023 / Engelsk
Formal Methods for Software Engineering Languages, Methods, Application Domains Roggenbach Markus Innbundet / 2022 / Engelsk
