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