Skip to:
Skip to Jira Navigation
Skip to Side Navigation
Skip to Main Content
Projects
Filters
Dashboards
Apps
Create
Search
Sign in
SMT_Solvers_interface
Software project
Menu
Reports
Issues
You're in a company-managed project
Projects
SMT_Solvers_interfac...
SSIMT-10
Translation of models involving records
Add
Apps
Description
None
Environment
Activity
Show:
All
History
Work log
Transitions
Newest first
Give feedback
Open
Actions
Details
Assignee
Michael Leuschel
Michael Leuschel
Reporter
Michael Leuschel
Michael Leuschel
Priority
Major
Created
November 14, 2020 at 8:29 AM
Updated
November 14, 2020 at 8:29 AM
Configure