Proceedings of the Fourth International Workshop on Verification and Program Transformation
You are here
| Title | Proceedings of the Fourth International Workshop on Verification and Program Transformation |
| Publication Type | Conference Proceedings |
| Year of Publication | 2022 |
| Editor | Hamilton GW, Kahsai T, Proietti M |
| URL | https://doi.org/10.4204%2Feptcs.373 |
| DOI | 10.4204/eptcs.373 |
