Systematic Transformation Method from UML to Event-B
Publisher: Scientific Research Publishing
Published: 2024
Language: eng
ISBN-13: 9781649979124
Subjects: Computer software