International Workshop on Verification and Program Transformation (8. : 2020 : Dublin)
Der Workshop fand aufgrund der COVID-19-Pandemie nicht statt, die Proceedings wurden jedoch veröffentlicht
Der Workshop fand aufgrund der COVID-19-Pandemie nicht statt, die Proceedings wurden jedoch veröffentlicht