Tool Support for Validation of Formal System Models: Interactive Visualization and Requirements Traceability

Published in F-IDE, 2019

Recommended citation: Eduard Kamburjan, Jonas Stromberg. (2019). F-IDE. EPTCS 310