Second call for papers. VPT 20-21 - International Workshops on Verification and Program Transformation

2020-12-15 Пенетрантность Andrei Klimov andrei_AT_klimov . net
*** SECOND CALL FOR PAPERS Ninth International Workshop on Verification and Program Transformation Devoted to the achievements of the research career of Professor Alb

Second call for papers. VPT 20-21 - International Workshops on Verification and Program Transformation

2020-12-14 Пенетрантность Andrei P. Nemytykh
[Apologies for multiple copies] *** SECOND CALL FOR PAPERS Ninth International Workshop on Verification and Program Transformation Devoted to the achievements of the research career of