Automatic Methods for the Refinement of System Models: From the Specification to the Implementation by Julia Seiter Back to product details page >
