English | 2022 | ISBN: 3030992527 | 484 pages | True PDF | 10.23 MB

The 23 regular papers presented in this volume were carefully reviewed and selected from 77 submissions. They deal with research on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems.
DOWNLOAD

Code:
https://nitro.download/view/6F84CBF6...Conference.pdf
Code:
https://rapidgator.net/file/1a8da732...Conference.pdf