Multi-Perspective Correctness of ProgramsPublished in ICTAC, 2025Recommended citation: Eduard Kamburjan and Dilian Gurov (2025). ICTAC, Springer LNCS.DOI PreprintShare on Twitter Facebook LinkedIn Previous Next