Formal Methods for Software Engineering - Languages, Methods, Application Domains - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, Siraj Ahmed Shaikh. Formal Methods for Software Engineering - Languages, Methods, Application Domains. Texts in Theoretical Computer Science. An EATCS Series, Springer, 2022. [doi]

This author has not been identified. Look up 'Markus Roggenbach' in GoogleThis author has not been identified. Look up 'Antonio Cerone' in GoogleThis author has not been identified. Look up 'Bernd-Holger Schlingloff' in GoogleThis author has not been identified. It may be one of the following persons:

Gerardo Schneider

Look up 'Gerardo Schneider' in GoogleThis author has not been identified. Look up 'Siraj Ahmed Shaikh' in Google

runs on WebDSL