Formal Methods: Industrial Use from Model to the Code by Jean-Louis Boulanger Back to product details page >