Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), B
Springer Nature
There is currently no description available
Other editions
More by Hartmut Ehrig; Christiane Floyd; Maurice Nivat; James Thatcher →