Proceedings of the Second International Workshop on Design and Implementation of Formal Tools and Systems (Q113544911)
Jump to navigation
Jump to search
Proceedings of DIFTS'13 workshop
Language | Label | Description | Also known as |
---|---|---|---|
English | Proceedings of the Second International Workshop on Design and Implementation of Formal Tools and Systems |
Proceedings of DIFTS'13 workshop |
Statements
DIFTS'13 (English)
0 references
Proceedings of the Second International Workshop on Design and Implementation of Formal Tools and Systems (English)
0 references
24 February 2013
0 references