Second International Workshop on Design and Implementation of Formal Tools and Systems (Q113649670)
Jump to navigation
Jump to search
academic workshop
Language | Label | Description | Also known as |
---|---|---|---|
English | Second International Workshop on Design and Implementation of Formal Tools and Systems |
academic workshop |
Statements
DIFTS'13 (English)
0 references
Second International Workshop on Design and Implementation of Formal Tools and Systems (English)
0 references
1 reference
9 September 2022