Books by Markus Roggenbach

Formal Methods for Software Engineering : Languages, Methods, Application Domains

Markus Roggenbach - Paperback