Ähnliche Bücher «Formal Methods for Industrial Critical Systems. A Survey of Applications», Gnesi Stefania