APA Citation

Roggenbach, M. Formal methods for software engineering: Languages, methods, application domains.

Chicago Style Citation

Roggenbach, Markus. Formal Methods for Software Engineering: Languages, Methods, Application Domains.

MLA Citation

Roggenbach, Markus. Formal Methods for Software Engineering: Languages, Methods, Application Domains.

Warning: These citations may not always be 100% accurate.