MIRA: Connect elements of context with formal specifications
Once defined the context information, it should be connected directly with the formal models.
(from redmine: issue id 1267, created on 2013-02-07, closed on 2018-02-14)
Once defined the context information, it should be connected directly with the formal models.
(from redmine: issue id 1267, created on 2013-02-07, closed on 2018-02-14)