Buy This Article
From Springer.
Journal:
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change
Visit Journal Webpage