Jonas Stromberg

According to our database, Jonas Stromberg authored at least 1 paper in 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2019

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

Eduard Kamburjan, Jonas Stromberg

Proceedings of the Proceedings Fifth Workshop on Formal Integrated Development Environment, 2019