Formal Methods for Industrial Critical Systems: A Survey of Applications by Stefania Gnesi Back to product details page >
