Formal Methods in Software and Systems Modeling
Subtitle: Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday
Publisher: Springer London, Limited
Published: 2005
Language: eng
ISBN-13: 9783540318477
Subjects: Logic, symbolic and mathematical; Software engineering