Special issue of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2015)
Research output: Contribution to journal › Editorial (Lead article) › Contributed › peer-review
Contributors
Details
| Original language | English |
|---|---|
| Pages (from-to) | 727–728 |
| Journal | Acta informatica |
| Volume | 54 |
| Issue number | 8 |
| Publication status | Published - 24 Apr 2017 |
| Peer-reviewed | Yes |
External IDs
| Scopus | 85018822358 |
|---|---|
| ORCID | /0000-0002-5321-9343/work/142236767 |