Multi-Perspective Correctness of Programs

Published in ICTAC, 2025

Recommended citation: Eduard Kamburjan and Dilian Gurov (2025). ICTAC, Springer LNCS.