Tools and algorithms for the construction and analysis of systems: a special issue for TACAS 2017
You are here
| Title | Tools and algorithms for the construction and analysis of systems: a special issue for TACAS 2017 |
| Publication Type | Journal Article |
| Year of Publication | 2022 |
| Authors | Legay A, Margaria T |
| Journal | Int J Softw Tools Technol Transfer |
| URL | https://link.springer.com/article/10.1007/s10009-022-00664-0 |
| DOI | 10.1007/s10009-022-00664-0 |
